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

33

Dans Gnome Tweak Tool, je ne parviens pas à changer le thème Shell:

En survolant le point d'exclamation, l'info-bulle suivante apparaît: Shell user-theme extension not enabled . J'utilise Ubuntu 14.10 et j'ai installé les extensions gnome-shell.

    
posée miceagol 04.11.2014 - 21:46
la source

3 réponses

44

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 Extensions et déplacez le curseur User themes vers On .
  3. Fermez Gnome Tweak Tool et ouvrez-le à nouveau.
  4. Vous devriez maintenant pouvoir choisir un Shell theme dans le menu Appearance .
réponse donnée miceagol 06.11.2014 - 20:08
la source
11

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 de réglage après l'installation.

    
réponse donnée Timothy C. Quinn 11.01.2017 - 22:25
la source
3

Vous pouvez définir un thème avec 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 ce qui suit peut être votre véritable cauchemar, ce sont ceux qui ne fonctionneront pas.Installer des thèmes qui ne fonctionnent pas l'entrée, vous allez casser l'outil de réglage.

Désinstaller un thème n'est pas si facile que ça. Pas d’idée pour supprimer un thème incorrect de la liste dans l’outil de réglage.

    
réponse donnée Roger 25.04.2016 - 18:34
la source

Lire d'autres questions sur les étiquettes