On 11/14/2011 05:48 PM, Camaleón wrote:
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,
Did you build it yourself? It is not available in wheezy repos.
--
To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4ec14d64.9090...@gmail.com
