Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. It only takes a minute to sign up.
Sign up to join this community
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.
It's impossible that this page is supposed to be the tool for managing extensions - it makes absolutely zero sense
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, or gsettings - CLI).
edit:
In reply to your comment:
I was talking about keeping the UX consistent. When I type "exten" into the search bar, I should be able to get to some extension control point.
What version of gnome-shell are you using ? On gnome-3.8.2 that is the default behaviour, typing exten in the search bar brings up gnome-tweak-tool i.e. the "local control center" for extensions, see for yourself:
Microsoft Windows XPto debian basedGNU/Linux Distributionsone of the most enlightening part ofuser experiencewas that I did not need to go to web pages, search for applications, download and install them but instead could search through the package list viaapt-getand install the packages. Also I did not need to take much care about upgrades of individual applications since this was done with twoapt commands. From myhighly subjectiveuser experience I have to say that it kind of feelsbrokenwhen I have to manage Extensions this way.