I'm having trouble understanding the intended way of managing Gnome shell extensions.
I can't find any appropriate programs in the Dash for doing that. The only way I can actually manage extensions is via extensions.gnome.org.
It's impossible that this page is supposed to be the tool for managing extensions – it makes absolutely zero sense (it breaks UX, for one).
Please tell me that there is a plan for a native application aimed at managing these handy extensions.
Best Answer
Whether it makes sense or not is also a matter of opinion. But yes, that page is the main tool, read Owen Taylor's explanation.
As to managing the extensions already installed on your system, you can enable/disable them via gnome-tweak-tool (or
dconf-editor
- GUI, orgsettings
- CLI).edit:
In reply to your comment:
What version of gnome-shell are you using ? On
gnome-3.8.2
that is the default behaviour, typingexten
in the search bar brings upgnome-tweak-tool
i.e. the "local control center" for extensions, see for yourself: