Je veux changer le thème du shell gnome, j'utilise Ubuntu 14.10 et les extensions utilisateur ne fonctionnent pas. Quelqu'un peut-il m'aider?
Vous devriez pouvoir utiliser l'extension Thèmes de l'utilisateur (assurez-vous qu'elle est activée):
et Gnome Tweak Tool :
Vous pouvez également changer le thème à partir de la ligne de commande, en examinant les choses à l'aide de dconf-editor
, vous pouvez utiliser gsettings
pour changer de thème. Ainsi, pour Gnome 3.8 avec l'extension User Themes, le thème est "Zukitwo":
gsettings set org.gnome.Shell.extensions.user-theme name "Zukitwo"
Réinitialise le thème:
gsettings reset org.gnome.Shell.extensions.user-theme name
Obtient le nom du thème actuel
gsettings get org.gnome.Shell.extensions.user-theme name
Si vous avez téléchargé le thème quelque part (par exemple, un fichier Zip de DeviantArt ), placez le répertoire du thème dans ~/.local/share/themes
(créez-le s'il n'existe pas). Notez que le thème ne fonctionnera pas s'il ne contient pas de dossier gnome-Shell
avec le thème Gnome Shell. Dans ce cas, vous pouvez en créer un similaire en utilisant couleurs Elegance ou similaire.
AVERTISSEMENT: Cette méthode est plus difficile à annuler et modifie également le thème de l'écran de connexion (si le thème ne fonctionne pas, il est probablement plus probable mal tourner...)
Sinon (vous pouvez le faire en exécutant nautilus
en tant qu'utilisateur root - si c'est le cas, utilisez pkexec
/gksudo
) , vous pouvez copier le contenu gnome-Shell
peu du thème à /usr/share/gnome-Shell/theme
- assurez-vous au préalable de sauvegarder le thème existant:
Sudo cp -r "/usr/share/gnome-Shell/theme" "/usr/share/gnome-Shell/themeBACKUP"
Vous pouvez également modifier les autorisations pour pouvoir accéder à ce répertoire en tant qu'utilisateur normal:
Sudo chmod 777 "/usr/share/gnome-Shell/theme"