Bug#662671: Not obvious how to enable extensions once installed

[Josh Triplett]

On Tue, Mar 06, 2012 at 12:26:06AM +0100, Michael Biebl wrote:
> Am 06.03.2012 00:06, schrieb Josh Triplett:
> >On Tue, Mar 06, 2012 at 12:01:55AM +0100, Michael Biebl wrote:
> 
> >>But gnome-tweak-tools is probably the most convenient way.
> >
> >Sounds like "Recommends" then.
> 
> fine with me.

I just installed gnome-tweak-tool, and attempted to use it to install an
extension.  It doesn't seem to recognize the extensions shipped in
gnome-shell-extensions; I couldn't convince it to open them.  Could you
provide a rough explanation of how to enable and configure a shell
extension using gnome-tweak-tool?

- Josh Triplett