Pages : 1
#1 Le 15/10/2011, à 18:55
- Tonio 571
Gnome shell et thèmes [Résolu]
Bonjour a tous,
j'ai beau chercher mais je n'arrive pas à comprendre comment changer un theme sous gnome shell... J'ai installer gnome tweak tool mais lorsque je veux changer le theme dans : shell thème ; le choix reste grisé. Je pensais devoir copier les themes telechargés sur devian art dans le dossier \theme de mon dossier perso mais rien ne change...
qq'un peut m'aider ?
Merci à vous !!!
Dernière modification par Tonio 571 (Le 15/10/2011, à 19:58)
Hors ligne
#2 Le 15/10/2011, à 19:36
- saceirdoth
Re : Gnome shell et thèmes [Résolu]
Il te manque l'extension qui va bien : User Theme extension
Et comme Gnome-shell n'est pas maintenu ni par Canonical ni par Debian (pour le moment), on a pas tout ce qu'il faut dans les dépôts.
webupd8.org maintient un PPA où tu trouveras tout ce qui manque : http://www.webupd8.org/2011/10/official … sions.html
Hors ligne
#3 Le 15/10/2011, à 19:38
- willcoyote
Re : Gnome shell et thèmes [Résolu]
Salut
Pour gnome-shell, ce n'est pas le dossier ~/.theme , mais le dossier ~/.themes
Il faut le creer si il n'existe pas
Hors ligne
#4 Le 15/10/2011, à 19:57
- Tonio 571
Re : Gnome shell et thèmes [Résolu]
Merci saceirdoth, effectivement maintenant ça fonctionne !!!
Hors ligne
Pages : 1