search

mjakeman / extension-manager

A utility for browsing and installing GNOME Shell Extensions.
https://mattjakeman.com/apps/extension-manager
GNU General Public License v3.0
1.03k stars 80 forks source link

Shell Search compatibility for installed extension settings #313

Open saadulkh opened 2 years ago

saadulkh commented 2 years ago

Show results from 'Browse' section in the shell search as done by GNOME Software.

mjakeman commented 2 years ago

I looked into this before and it was fairly easy to implement. The reason I never added it is unlike GNOME Software, which stores all app metadata locally, GNOME Extensions are stored on EGO and need to be queried.

Practically this means every key stroke you ever enter in Shell Search would be sent to extensions.gnome.org, and (privacy concerns aside) would put unfair load on the GNOME Extensions server.

I think the only way this could work is if the extensions repo were stored locally, which at this point seems unlikely I'm afraid.

timo-mart commented 1 year ago

Could the search provider functionality be implemented for quickly opening settings of already installed extensions? This wouldn't put any load on external servers and would still be a useful feature, at least for me personally.

mjakeman commented 1 year ago

Could the search provider functionality be implemented for quickly opening settings of already installed extensions? This wouldn't put any load on external servers and would still be a useful feature, at least for me personally.

Oh, that's a great idea. I like it.