Merge pull request #1191 from quantified-uncertainty/disable-search

Disable algolia search
This commit is contained in:
Vyacheslav Matyukhin 2022-10-02 16:54:20 +03:00 committed by GitHub
commit 7856669239
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -52,29 +52,30 @@ const config = {
themeConfig: themeConfig:
/** @type {import('@docusaurus/preset-classic').ThemeConfig} */ /** @type {import('@docusaurus/preset-classic').ThemeConfig} */
({ ({
algolia: { // TODO - disabled until we fix algolia search
// The application ID provided by Algolia // algolia: {
appId: "KBED3M1CMD", // // The application ID provided by Algolia
// appId: "KBED3M1CMD",
// Public API key: it is safe to commit it // // Public API key: it is safe to commit it
apiKey: "c61bc7603893cf287ed6971983af8bad", // apiKey: "c61bc7603893cf287ed6971983af8bad",
indexName: "squiggle_docs", // indexName: "squiggle_docs",
// Optional: see doc section below // // Optional: see doc section below
contextualSearch: true, // contextualSearch: true,
// Optional: Specify domains where the navigation should occur through window.location instead on history.push. Useful when our Algolia config crawls multiple documentation sites and we want to navigate with window.location.href to them. // // Optional: Specify domains where the navigation should occur through window.location instead on history.push. Useful when our Algolia config crawls multiple documentation sites and we want to navigate with window.location.href to them.
// externalUrlRegex: 'external\\.com|domain\\.com', // // externalUrlRegex: 'external\\.com|domain\\.com',
// Optional: Algolia search parameters // // Optional: Algolia search parameters
searchParameters: {}, // searchParameters: {},
// Optional: path for search page that enabled by default (`false` to disable it) // // Optional: path for search page that enabled by default (`false` to disable it)
searchPagePath: "search", // searchPagePath: "search",
//... other Algolia params // //... other Algolia params
}, // },
navbar: { navbar: {
title: "Squiggle", title: "Squiggle",
hideOnScroll: true, hideOnScroll: true,