Dans l'outil Gnome Tweak, je ne peux pas changer le thème Shell:
En survolant le point d'exclamation, le message d'information suivant s'affiche: L'extension du thème utilisateur Shell n'est pas activée. Je suis sous Ubuntu 14.10 et j'ai installé les extensions gnome-shell.
J'ai résolu ce problème moi-même, et c'était une solution extrêmement trivial :
Gnome Tweak Tool.Extensions, et déplacez le curseur Themes Utilisateur sur On.Gnome Tweak Tool et ouvrez-le à nouveau.thème Shell dans le menu Apparence.
En plus de la réponse de @miceagol : Si vous ne voyez pas Thèmes Utilisateur dans le panneau des Extensions de l'outil de configuration GNOME, vous devrez peut-être l'installer depuis extensions.gnome.org. Redémarrez l'outil de configuration après l'installation.
Vous pouvez définir un thème en utilisant le 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 connu qui fonctionne comme ci-dessus et cela devrait vous ramener, mais ce qui suit pourrait être votre véritable cauchemar sont des thèmes qui ne fonctionnent pas. L'installation de thèmes qui ne fonctionnent pas LAISSE derrière eux des entrées et si vous cliquez sur une entrée échouée, vous casserez l'outil de personnalisation.
Désinstaller un thème n'est pas si facile cependant... Je ne sais pas comment supprimer un mauvais thème de la liste dans l'outil de personnalisation.
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
