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.

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

Allow searching for serials, phone numbers, tickets, etc #7991

Closed
jobec opened this issue Jul 22, 2020 · 0 comments · Fixed by #7992
Closed

Allow searching for serials, phone numbers, tickets, etc #7991

jobec opened this issue Jul 22, 2020 · 0 comments · Fixed by #7992
Labels
html search type:enhancement enhance or introduce a new feature
Milestone
3.2.0

Comments

@jobec
Copy link
Contributor

jobec commented Jul 22, 2020

Is your feature request related to a problem? Please describe.

Numeric pieces of text are not indexed and cannot be searched for. For example, a ticket number like 0123456789 doesn't show up when searching.

Describe the solution you'd like

Don't filter out numeric pieces of text anymore.
@jobec jobec added the type:enhancement enhance or introduce a new feature label Jul 22, 2020
@jobec jobec mentioned this issue Jul 22, 2020
Merged
@tk0miya tk0miya added this to the 3.2.0 milestone Jul 23, 2020
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 21, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
html search type:enhancement enhance or introduce a new feature
Projects
None yet
Milestone
3.2.0
Development

Successfully merging a pull request may close this issue.

Allow searching for things like serials, phone numbers, etc jobec/sphinx
2 participants
@tk0miya @jobec