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

Josh Triplett josh at joshtriplett.org
Tue Mar 6 01:36:20 UTC 2012

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

More information about the pkg-gnome-maintainers mailing list