Impossible de lancer Gnome Tweak Tool lorsque les extensions thèmes de l'utilisateur sont activées.
Quand j'ai essayé de terminal, la sortie était:
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 fonctionne correctement sans thèmes de l'utilisateur.
Ubuntu 12.04, gnome-Shell 3.4.1
Question pertinente (fermée): https://askubuntu.com/questions/91512/gnome-Tweak-tool-doesnt-start
Question similaire ici
Howto:
Ajoutez le ppa officiel de Gnome Shell Extensions:
Sudo add-apt-repository ppa:webupd8team/gnome3
Sudo apt-get update
Installez des dépendances:
Sudo apt-get install gnome-Shell-extensions
Sudo apt-get install gnome-Shell-extensions-common
Ensuite, activer le lien fourni fonctionne bien.
installez le thème utilisateur de l'extension gnome Shell même s'il génère une erreur, puis exécutez les deux commandes suivantes
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
après cela recharger Shell att + f2 puis en cours d'exécution r
voici le lien où j'ai trouvé la solution http://www.fandigital.com/2012/09/fix-user-themes-gnome-Shell-extension.html