Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Add search to the Docusaurus website #1673

Closed
sschuberth opened this issue Dec 18, 2024 · 1 comment · Fixed by #1807
Closed

Add search to the Docusaurus website #1673

sschuberth opened this issue Dec 18, 2024 · 1 comment · Fixed by #1807
Assignees
@mnonnenmacher
Labels
documentation Improvements or additions to documentation.

Comments

@sschuberth
Copy link
Contributor

Similar to like we have for ORT.
@sschuberth sschuberth added documentation Improvements or additions to documentation. enhancement labels Dec 18, 2024
@mnonnenmacher
Copy link
Contributor

By coincidence I just looked into this yesterday and started to try a local search plugin to avoid the need to rely on a proprietary service. If it works we could use the same in ORT.

@mnonnenmacher mnonnenmacher self-assigned this Dec 18, 2024
mnonnenmacher added a commit that referenced this issue Jan 15, 2025
@mnonnenmacher
docs(website): Add a local search plugin
fc78485 
Add `@easyops-cn/docusaurus-search-local` [1] as a local search plugin
for Docusaurus.

Fixes #1673.

Signed-off-by: Martin Nonnenmacher <martin.nonnenmacher@bosch.com>
mnonnenmacher added a commit that referenced this issue Jan 15, 2025
@mnonnenmacher
docs(website): Add a local search plugin
fa1670e 
Add `@easyops-cn/docusaurus-search-local` [1] as a local search plugin
for Docusaurus.

Fixes #1673.

[1]: https://github.com/easyops-cn/docusaurus-search-local

Signed-off-by: Martin Nonnenmacher <martin.nonnenmacher@bosch.com>
@mnonnenmacher mnonnenmacher mentioned this issue Jan 15, 2025
Merged
mnonnenmacher added a commit that referenced this issue Jan 15, 2025
@mnonnenmacher
docs(website): Add a local search plugin
3982d52 
Add `@easyops-cn/docusaurus-search-local` [1] as a local search plugin
for Docusaurus.

Fixes #1673.

[1]: https://github.com/easyops-cn/docusaurus-search-local

Signed-off-by: Martin Nonnenmacher <martin.nonnenmacher@bosch.com>
github-merge-queue bot pushed a commit that referenced this issue Jan 15, 2025
@mnonnenmacher
docs(website): Add a local search plugin
07e67f2 
Add `@easyops-cn/docusaurus-search-local` [1] as a local search plugin
for Docusaurus.

Fixes #1673.

[1]: https://github.com/easyops-cn/docusaurus-search-local

Signed-off-by: Martin Nonnenmacher <martin.nonnenmacher@bosch.com>
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@mnonnenmacher mnonnenmacher

Labels
documentation Improvements or additions to documentation.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

docs(website): Add a local search plugin eclipse-apoapsis/ort-server
2 participants
@sschuberth @mnonnenmacher