Changer le thème de Gnome Shell depuis Gconf Tool ou Dconf Editor
Voulant changer le thème Gnome Shell de mon bureau sous Fedora, j’ai eu la mauvaise surprise de voir le champ de l’extension user-theme grisé sur Gnome Tweak Tool. Un tour sur le site extensions.gnome.org et j’ai compris que la version proposée n’était plus compatible avec gnome 3.2 (version stable) et qu’il lui faut la version 3.3 de Gnome(unstable !!!). Un choix que je trouve personnellement incompréhensible.
Car pourquoi ajouter une extension dans le site Gnome ou les dépôts Fedora, si on sait que elle ne fonctionnera pas ! À ma connaissance toutes les distributions majeures sont encore à Gnome 3.2. Porposer une version de développent qu’on peut récupérer depuis GitHub aurait été plus judicieux.
Fin bref, j’espère qu’ils vont vite se ressaisir et corriger cette « bourde ». En attendant si vous souhaitez changer le thème Gnome Shell de votre bureau, voilà une astuce qui vous sera utile. Vous aurez juste besoin d’installer dconf-editor si vous utilisez Fedora ou gconf-tools pour Ubuntu.
su -c ‘yum install dconf-editor’
Pour Ubuntu
sudo apt-get install gconf-tool
Ouvrez Dconf-Editor/Gconf-Tool et allez à org.gnome.shell.extensions.user-theme et modifiez l’entrée name :
Related posts:
