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

Request: serve OpenSearch file (for Firefox "add search engine" function) #216

Open
CS-cwhite opened this issue Aug 6, 2021 · 2 comments · May be fixed by #401
Open

Request: serve OpenSearch file (for Firefox "add search engine" function) #216

CS-cwhite opened this issue Aug 6, 2021 · 2 comments · May be fixed by #401
Labels
backend HTTP server related frontend UI-related

Comments

@CS-cwhite
Copy link

(Chris here, but writing from my work account.)

In the Web interface, would you please add an OpenSearch static XML file and a corresponding <link rel/>? That way Firefox users could use Firefox's "Add search engine" function to add Elixir. I would suggest making the OpenSearch latest/A/ident/$whatever at first. Thanks for considering this request!
@tleb tleb removed the enhancement label Feb 25, 2025
@tleb
Copy link
Member

tleb commented Feb 25, 2025

Considerations:

  • Against: the main issue with this proposal is that we are an exact matching search engine. So people using it would have to search the exact value they desire AND doing so without auto-completion.
  • Against: also, it must target a specific project and so isn't useful for other projects.
  • Against: no one pinged in the last four years.
  • For: it isn't a big thing to implement and maintain.

I am split.

@tleb tleb added frontend UI-related backend HTTP server related labels Feb 25, 2025
@alexandrebelloni
Copy link

Switching back from Chrome to Firefox, this is one of the missing features. I would only target the kernel, auto completion is usually not an issue as the use case tis when copy-pasting an exisiting symbol from the editor for example.

@fstachura fstachura linked a pull request Mar 11, 2025 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
backend HTTP server related frontend UI-related
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add opensearch manifest for elixir.bootlin.com fstachura/elixir
4 participants
@alexandrebelloni @tleb @fstachura @CS-cwhite