Thèmes GTK sous Gnome 3.6
Depuis quelque temps, je n'arrivais plus à utiliser d'autres thèmes GTK que ceux préinstallés par la Fedora 18. Je croyais à une mauvaise manipulation de ma part ou à un bug de la distribution linux. En fait, pas du tout...
Il s'agit apparemment d'une regression de Gnome 3.6 (certains parlerons d'évolution non désirée :-) qui ne va plus chercher le thème metacity chargé de styliser les bordures des fenêtres dans le dossier ~/.themes
mais dans ~/.local/share/themes
. Pour résoudre le problème, il suffit donc de créer un lien symbolique qui pointe du premier vers le second ou plutôt l'inverse : déplacer le dossier de thème dans ~/.local/share
et faites un lien symbolique en retour. On peut ainsi garder les thèmes dans le dossier .local
justement dédié aux personnalisations.
# Déplacer le dossier
mv ~/.themes ~/.local/share/themes
# Faire un lien symbolique
ln ~/.local/share/themes -s ~/.themes
A noter tout de même que cette astuce entraîne un petit désagrément : les thèmes gnome-shell se retrouvent listés en double.
- Titre
- Use Custom Theme in GNOME Shell 3.6 (Ubuntu 12.10)
- Auteurs
- Fauzan Sa'ad
- Éditeur
- fanDigital
- Date