web-dev-qa-db-fra.com

L'outil Gnome Tweak ne commencera pas par les thèmes des utilisateurs dans gnome-shell

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

2
mreq

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.

6
Ringtail

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

1
gunjan parashar