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

[Josh Triplett]

On Tue, Mar 06, 2012 at 02:43:48AM +0100, Michael Biebl wrote:
> On 06.03.2012 02:36, Josh Triplett wrote:
> > 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?
> 
> If you have gnome-shell-extensions installed, restart your shell (as
> mentioned). This can be done by restarting your complete desktop session
> or "ALT+F2 r".
> Then, in gnome-tweak-tool go to "Shell Extensions" and enable the
> extensions you like.

I thought I had restarted the shell, but evidently I had not, since
after I did so the extensions showed up.  Sorry for the extra trouble.

- Josh Triplett