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

Josh Triplett josh at joshtriplett.org
Mon Mar 5 19:47:06 UTC 2012


On Mon, Mar 05, 2012 at 06:44:53PM +0100, Michael Biebl wrote:
> On 05.03.2012 16:59, Josh Triplett wrote:
> > Package: gnome-shell-extensions
> > Version: 3.2.3-1
> > Severity: normal
> > 
> > I installed gnome-shell-extensions, but then didn't see any obvious way
> > to enable or configure extensions.  No new applet showed up in
> > gnome-control-center, nothing obvious showed up in the overview's
> > search, and I didn't find any documentation in the package description or
> > /usr/share/doc/gnome-shell-extensions/ that indicated how to enable or
> > configure extensions.
> 
> You need to restart the shell and then best use a tool like
> gnome-tweak-tool.
> 
> Would be README.Debian be sufficient?

If no way exists to enable or configure extensions other than
gnome-tweak-tool, I'd suggest adding a "Depends: gnome-tweak-tool" or at
least a "Recommends: gnome-tweak-tool".  Given that, it would suffice to
add one line saying "To enable and configure GNOME Shell extensions, use
gnome-tweak-tool." to the README.Debian or preferably to the package
description.

- Josh Triplett





More information about the pkg-gnome-maintainers mailing list