Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Add local search #35

Merged
merged 2 commits into from
Aug 3, 2024

Conversation

bohyunjung
Copy link
Contributor

resolves #34

To enable simple local search on the community website, This PR

  • Adds docusaurus-search-local dependency c3f0d54
  • Adds docusaurus-search-local config 9c14fde

Below are the screenshots from the local-served website.

스크린샷 2024-08-01 11 28 18
Searching for the content in knowledge
스크린샷 2024-08-01 10 43 34
Searching for the content in contributing
스크린샷 2024-08-01 10 44 23
Searching for the content in plugin directory (here the search terms are not highlighted, somehow)

Copy link

github-actions bot commented Aug 1, 2024

⚠️ Deployments require the '🚀request-deploy' label

This repository is a forked repository. For security reasons, deployments from forked repositories are not automatic.

To request a deployment, add the '🚀request-deploy' label to this pull request. (Only some members can add labels).

@homotechsual homotechsual added the 🚀request-deploy Adding this label will request a preview build of your PR label Aug 3, 2024
@homotechsual homotechsual self-assigned this Aug 3, 2024
@homotechsual homotechsual merged commit 913f99b into DocusaurusCommunity:main Aug 3, 2024
5 of 6 checks passed
@bohyunjung bohyunjung deleted the add-local-search branch August 4, 2024 02:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🚀request-deploy Adding this label will request a preview build of your PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Enable simple search
2 participants