Welcome to mirror list, hosted at ThFree Co, Russian Federation.

gitlab.com/gitlab-org/gitlab-docs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAchilleas Pipinellis <axilleas@axilleas.me>2017-01-30 19:09:47 +0300
committerAchilleas Pipinellis <axilleas@axilleas.me>2017-01-30 19:09:47 +0300
commit59003012d9f0a348d165255cdaef5f2e735ec529 (patch)
tree3426e9ed07805c15fca91d233d9293839d0448bb /layouts/docsearch.html
parent397bc8199954d9e76e65a2c4fdabe3176dab6560 (diff)
Add algoliaOptions
Diffstat (limited to 'layouts/docsearch.html')
-rw-r--r--layouts/docsearch.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/layouts/docsearch.html b/layouts/docsearch.html
index ffcce908..46c8e984 100644
--- a/layouts/docsearch.html
+++ b/layouts/docsearch.html
@@ -4,6 +4,7 @@
apiKey: 'f1a2ed7814afd15f80915de1141e6865',
indexName: 'gitlab',
inputSelector: 'docsearch',
+algoliaOptions: { 'facetFilters': ["tags:ce", "tags:ee", "tags:omnibus", "tags:runner"] },
debug: false // Set debug to true if you want to inspect the dropdown
});
</script>