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.
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.
Réponses:
J'ai résolu ce problème moi-même et c'était une solution extrêmement triviale:
Gnome Tweak Tool
.Extensions
élément de menu et déplacez le User themes
curseur vers On
.Gnome Tweak Tool
et ouvrez à nouveau.Shell theme
dans le Appearance
menu.En plus de @miceagol's
répondre: Si vous ne voyez pas User Themes
dans le Extensions
panneau 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.
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.