Add opensearch tags to allow automatic search engine addition in browsers

nomeata / loogle

Mathlib search tool

https://loogle.lean-lang.org/

Apache License 2.0

50 stars 6 forks source link

Add opensearch tags to allow automatic search engine addition in browsers #14

Open alexjbest opened 4 months ago

alexjbest commented 4 months ago

Can we add an opensearch description file following https://developer.mozilla.org/en-US/docs/Web/OpenSearch, this will make it very easy for users to add loogle as a custom search engine in their search bar and make looking things up in loogle quicker for many users.

nomeata commented 4 months ago

Nice idea, PRs welcome. Are you interested in preparing one?

alexjbest commented 4 months ago

Yes I can try, shouldn't be too hard, but I also didn't want to try if it wasn't desired :)!

nomeata commented 4 months ago

It's desired :-)

alexjbest commented 4 months ago

Ok after some more testing I found that chrome somehow magically autodetects the fact that loogle is a search engine and the right query url, it just needs to be enabled in chrome://settings/searchEngines and given a better shortcut. I'm not sure how this works, but I guess this issue is now less relevant until someone wants this for a browser that doesn't do this automatically (I haven't tested others)