Pourquoi le thème Shell est-il désactivé dans Gnome Tweak Tool?

59

Dans Gnome Tweak Tool, je ne peux pas changer le thème de Shell:

Planant sur la marque exclamation montre l'infobulle suivante: Shell user-theme extension not enabled. J'utilise Ubuntu 14.10 et j'ai installé les extensions gnome-shell.

themes gnome-shell gnome-shell-extension miceagol
la source
Utilisez-vous réellement gnome shell ou utilisez-vous Ubuntu avec Unite Desktop?
xangua
J'utilise Gnome Shell. J'ai réussi à résoudre le problème moi-même. Voir ci-dessous.
Miceagol

Réponses:

63

J'ai résolu ce problème moi-même et c'était une solution extrêmement triviale:

  1. Ouvert Gnome Tweak Tool.
  2. Cliquez sur l' Extensionsélément de menu et déplacez le User themescurseur vers On.
  3. Fermez Gnome Tweak Toolet ouvrez à nouveau.
  4. Vous devriez maintenant pouvoir choisir un Shell themedans le Appearancemenu.
miceagol
la source
2
Si vous venez d'installer gnome-tweak-tool, vous devrez peut-être vous déconnecter / ouvrir une session avant que les extensions n'apparaissent.
reergymerej
4
Savez-vous ce qu’il faut faire s’il n’ya pas de curseur allumé?
MadPhysicist
21

En plus de @miceagol'srépondre: Si vous ne voyez pas User Themesdans le Extensionspanneau de GNOME Tweak Tool, vous devrez peut-être l’installer à partir de extensions.gnome.org . Redémarrez l'outil de tweak après l'installation.

Timothy C. Quinn
la source
3

Vous pouvez définir un thème à l'aide de Terminal: 

 sudo chmod -R 755 /usr/share/themes/Zukitwo
gsettings set org.gnome.desktop.interface gtk-theme "Zukitwo"
gsettings set org.gnome.desktop.wm.preferences theme "Zukitwo"
gsettings set org.gnome.shell.extensions.user-theme name "Zukitwo"

utilisez un thème par défaut de travail connu comme ci-dessus et il devrait vous revenir, mais ceci peut être votre véritable cauchemar. Ces thèmes ne fonctionneront pas.Installer des thèmes qui ne fonctionnent pas LAISSER derrière des entrées et si vous cliquez sur une entrée ratée, vous casser l'outil de réglage.

Désinstaller un thème n’est pas si simple que ça… Aucune idée de la façon de supprimer un mauvais thème de la liste dans l’outil de tweak.

Roger
la source
C'est une bonne réponse. Restons avec les thèmes par défaut de gnome.
Ukraine