Ancalime a écritVoila. deux petites questions au passage: comment mettre le thème original de gnome-shell? Car j'ai toujours le thème ambiance a certain endroits des fenêtres (sur la barre de fichier, modifier...). Et comment mettre gnome-shell par défaut?
Pour gérer les thèmes sur GS il faut utiliser gnome-tweak-tool
Moi je préfère celui du git qui est plus a jour que celui des dépôts
git clone git://git.gnome.org/gnome-tweak-tool
Il suffit de cliquer sur le fichier python gnome-tweak-tool, s'il ne démarre pas rend le exécutable, après a toi de découvrir cet outils
a chaque changement il redémarrer GS avec la commande: r
