Gnome tweak tool won't start with user themes in gnome-shell

Question

Can't launch Gnome Tweak Tool when the User Themes extensions is enabled.

When I tried from terminal, the output was:

petr@sova:~$ gnome-tweak-tool 

(gnome-tweak-tool:6475): GLib-GIO-ERROR **: Settings schema 'org.gnome.shell.extensions.user-theme' is not installed

Trace/breakpoint trap (core dumped)

Gnome Tweak Tool works correctly without User Themes.

Ubuntu 12.04, gnome-shell 3.4.1

Relevant (closed) question: https://askubuntu.com/questions/91512/gnome-tweak-tool-doesnt-start

Solution 1

Similar question here

Howto:

Add the official Gnome Shell Extensions ppa:

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update

Install dependencies:

sudo apt-get install gnome-shell-extensions
sudo apt-get install gnome-shell-extensions-common

Afterwards, enabling on the link provided works fine.

Solution 2

install the gnome shell extension user theme even though it gives error then run the following two commands

sudo cp $HOME/.local/share/gnome-shell/extensions/[email protected]/schemas/org.gnome.shell.extensions.user-theme.gschema.xml /usr/share/glib-2.0/schemas
sudo glib-compile-schemas /usr/share/glib-2.0/schemas

after that reload shell att+f2 then running r

here is the link where i got the solution http://www.fandigital.com/2012/09/fix-user-themes-gnome-shell-extension.html

Comments

[Ringtail]

can you elaborate on the "FIX" I will include it in the answer

[Ringtail]

@PetrMarek nice