Skip to content

[BUG] Readthedocs search does not work anymore #3697

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.

Sign up for GitHub

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

Jump to bottom
Closed
2 tasks done
phihung opened this issue Apr 15, 2025 · 3 comments · Fixed by #3698
Closed
2 tasks done

[BUG] Readthedocs search does not work anymore #3697

phihung opened this issue Apr 15, 2025 · 3 comments · Fixed by #3698
Labels
Needs triage

Comments

@phihung
Copy link

phihung commented Apr 15, 2025

Describe the bug

The search in readthedocs page does not work anymore

Example: https://rich.readthedocs.io/en/latest/search.html?q=console&check_keywords=yes&area=default#
@github-actions GitHub Actions
Copy link

Thank you for your issue. Give us a little time to review it.

PS. You might want to check the FAQ if you haven't done so already.

This is an automated reply, generated by FAQtory

TomJGooding added a commit to TomJGooding/rich that referenced this issue Apr 15, 2025
@TomJGooding
docs: fix search not working
a648cdc 
Fix the documentation search not working after a recent Read the Docs
upgrade.

This adds `sphinx_rtd_theme` to the extensions as recommended in the
install guide: https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html

Fixes: Textualize#3697
@TomJGooding TomJGooding mentioned this issue Apr 15, 2025
Merged
9 tasks
@TomJGooding
Copy link
Contributor

Hopefully the linked PR should fix this, but in the meantime the search function still seems to be working on the "stable" branch of the docs (though it might be slightly outdated): https://rich.readthedocs.io/en/stable/

@github-actions GitHub Actions
Copy link

github-actions bot commented May 2, 2025

I hope we solved your problem.

If you like using Rich, you might also enjoy Textual

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Needs triage
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

docs: fix search not working TomJGooding/rich
2 participants
@phihung @TomJGooding