On Mon, May 2, 2011 at 17:54, Damien Churchill <dam...@gmail.com> wrote:
> You can disable extensions, taken from the Gnome Shell extensions page [1]
>
> "Per-user and systemwide extensions can be disabled with the GSettings
> key org.gnome.shell.disabled-extensions"
>
> [1] http://live.gnome.org/GnomeShell/Extensions

Yes, indeed it does say that, but it doesn't say how to actually
disable them :-)

I've tried to disable AlternateTab without success.  Here's what I've
tried so far:

% gsettings set org.gnome.shell disabled-extensions "@as ['AlternateTab']
% gsettings set org.gnome.shell disabled-extensions "@as ['alternate-tab']

Has anyone else managed to disable extensions?

/M

-- 
Magnus Therning                      OpenPGP: 0xAB4DFBA4
email: mag...@therning.org   jabber: mag...@therning.org
twitter: magthe               http://therning.org/magnus

Reply via email to