Bug#662671: Not obvious how to enable extensions once installed
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