Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|improve this question
2  
What "breaks" user experience or not is highly subjective. – user13742 May 15 '13 at 18:43
up vote 6 down vote accepted

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:

enter image description here

share|improve this answer
    
Thanks, that explains everything - I'm using Fedora 18, and with that came 3.6. – jcora May 15 '13 at 21:42

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.