Merge pull request #1193 from quantified-uncertainty/develop

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

View File

@ -52,29 +52,30 @@ const config = {
themeConfig:
/** @type {import('@docusaurus/preset-classic').ThemeConfig} */
({
algolia: {
// The application ID provided by Algolia
appId: "KBED3M1CMD",
// TODO - disabled until we fix algolia search
// algolia: {
// // The application ID provided by Algolia
// appId: "KBED3M1CMD",
// Public API key: it is safe to commit it
apiKey: "c61bc7603893cf287ed6971983af8bad",
// // Public API key: it is safe to commit it
// apiKey: "c61bc7603893cf287ed6971983af8bad",
indexName: "squiggle_docs",
// indexName: "squiggle_docs",
// Optional: see doc section below
contextualSearch: true,
// // Optional: see doc section below
// 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.
// externalUrlRegex: 'external\\.com|domain\\.com',
// // 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',
// Optional: Algolia search parameters
searchParameters: {},
// // Optional: Algolia search parameters
// searchParameters: {},
// Optional: path for search page that enabled by default (`false` to disable it)
searchPagePath: "search",
// // Optional: path for search page that enabled by default (`false` to disable it)
// searchPagePath: "search",
//... other Algolia params
},
// //... other Algolia params
// },
navbar: {
title: "Squiggle",
hideOnScroll: true,