Skip to content

Add lunr-based local site search - #10

Merged
ashish-k-s merged 1 commit into
RedHatQuickCourses:mainfrom
caxu-rh:lunr-search
Jul 30, 2026
Merged

Add lunr-based local site search#10
ashish-k-s merged 1 commit into
RedHatQuickCourses:mainfrom
caxu-rh:lunr-search

Conversation

@caxu-rh

@caxu-rh caxu-rh commented Jul 27, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor
  • Introduce the @antora/lunr-extension extension
    • Uses lunr under the hood, maintained by the same team maintaining Antora itself
    • No server required (works in GitHub Pages), search occurs on client side
  • Add a navbar item for the search box
    • Site template already contains styles/rules for .navbar-brand .navbar-item.search
image image

@caxu-rh
Add lunr-based local site search
17a1d04 
Signed-off-by: Caleb Xu <caxu@redhat.com>
@ashish-k-s
ashish-k-s merged commit 2fd5200 into RedHatQuickCourses:main Jul 30, 2026
1 check passed
@caxu-rh caxu-rh mentioned this pull request Jul 30, 2026
Merged
3 of 23 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@caxu-rh @ashish-k-s