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

[Michael Biebl]

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.

Michael
-- 
Why is it that all of the instruments seeking intelligent life in the
universe are pointed away from Earth?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 900 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20120306/b50ea30b/attachment.pgp>