Re: gnome-shell-extensions

[Camaleón <noelamac@gmail.com>]

On Mon, 14 Nov 2011 15:06:57 +0100, DebianTR.WP wrote:

(...)

> $ gsettings list-keys org.gnome.shell
> 
> command-history
> development-tools
> disabled-open-search-providers
> enable-app-monitoring
> enabled-extensions
> favorite-apps
> looking-glass-history
> saved-im-presence
> saved-session-presence
> 
> 
> I think, there should be a key called disabled-extensions.

In fact there is... I have it in wheezy:

hpc03@stt300:~$ gsettings list-keys org.gnome.shell
command-history
development-tools
disabled-extensions <<-- here!
disabled-open-search-providers
enable-app-monitoring
favorite-apps
looking-glass-history

Being experimental maybe it's better that you submit a bug report for 
this or wait for a package update :-?

Greetings,

-- 
Camaleón