gnome-shell-extensions

["DebianTR.WP" <debiantr.wordpress@googlemail.com>]

Hi,

I upgraded my Gnome Shell to 3.2 and installed the extensions from experimental repo. However, there is a problem (of course it is not surprising :) )

When I try to enable extensions from tweak tool, it closes itself. Then I ran it from terminal to see the problem. It gave an error:

GLib-GIO-ERROR **: Settings schema 'org.gnome.shell' does not contain a key named 'disabled-extensions'
Trace/breakpoint trap

I believe that, somehow, I, if it is possible of course, need to add a key named "disabled-extensions" to org.gnome.shell.


$ 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.

Thanks
Eren