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
Créer un lien symbolique entre le répetoire de thèmes original et le nouveau répertoire de thèmes.

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.

SA'AD, Fauzan. Use Custom Theme in GNOME Shell 3.6 (Ubuntu 12.10). fanDigital,