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.