diff --git a/docusaurus.config.js b/docusaurus.config.js index 46f00cf0ec..d92399ed7f 100644 --- a/docusaurus.config.js +++ b/docusaurus.config.js @@ -144,6 +144,30 @@ const config = { theme: lightCodeTheme, darkTheme: darkCodeTheme, }, + //Algolio docsearch support + algolia: { + // The application ID provided by Algolia + appId: '${{ secrets.ALGOLIA_API_ID }}', + + // Public API key: it is safe to commit it + apiKey: '${{ secrets.ALGOLIA_API_KEY }}', + + indexName: 'stacks', + + // 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: Algolia search parameters + //searchParameters: {}, + + // Optional: path for search page that enabled by default (`false` to disable it) + searchPagePath: 'search', + + //... other Algolia params + }, }), plugins: [