web-dev-qa-db-fra.com

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

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

Le survol du point d'exclamation affiche l'info-bulle suivante: Shell user-theme extension not enabled. J'utilise Ubuntu 14.10 et j'ai installé les extensions gnome-Shell.

themesgnome-shellgnome-shell-extension
49
miceagol

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

  1. Ouvrez Gnome Tweak Tool.
  2. Cliquez sur l'élément de menu Extensionset déplacez le curseur User themes vers Onname__.
  3. Fermez Gnome Tweak Tool et rouvrez-le.
  4. Vous devriez maintenant pouvoir choisir un Shell theme dans le menu Appearancename__.
58
miceagol

En plus de @miceagol's answer: Si vous ne voyez pas User Themes dans le panneau Extensions de GNOME Tweak Tool, vous devrez peut-être l'installer à partir de extensions.gnome.org . Redémarrez l'outil Tweak après l'installation.

19
Timothy C. Quinn

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 de travail par défaut 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 ayant échoué, vous casser l'outil Tweak.

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 Tweak.

3
Roger