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

[Josh Triplett]

On Tue, Mar 06, 2012 at 12:01:55AM +0100, Michael Biebl wrote:
> Am 05.03.2012 20:47, schrieb Josh Triplett:
> > 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
> 
> You can modify the settings via the gsettings command line tool
> directly. But that is rather cumbersome.
> https://extensions.gnome.org/local/ afaik also lets you enable/disable
> locally installed extensions.
> 
> But gnome-tweak-tools is probably the most convenient way.

Sounds like "Recommends" then.

- Josh Triplett