Donc voila, comme chacun sait (ou pas) Gnome 3 est sorti, et cette mouture de gnome par sa jeunesse, reste difficilement configurable.
Voici les éléments de configuration que j'ai pu glaner en passant dans différents forum :
1 - Gnome-Tweak-Tool :
Outil indispensable pour configurer le thème GTK,le thème d'icones, les polices, et 2 -3 autres petites choses.
Petit truc que j'ai remarqué :
Il n'est pas nécessaire de modifier les polices une à une a la main, il suffit juste de modifier la valeur
Text Scalling Factor (par exemple a 0.8 pour un netbook), pour que cela affecte toutes les polices.
2 - Changer de theme gnome shell :
Pour le moment, si je ne me trompe pas, il est nécessaire de trifouiller dans les fichiers systèmes, à savoir en modifiant le dossier
Code : Tout sélectionner
/usr/share/gnome-shell/theme
1 - Faire un backup de ce dossier (via la commande "cp" et non pas "mv"... on a encore besoin de certains fichiers présents dans ce dossier)
2 - Télécharger un thème gnome-shell par ici par exemple
3 - Dézipper le thème dans le dossier /usr/share/gnome-shell/
3 - Changer de thème metacity :
Tweak retrouvé ici
Il faut pour cela modifier la variable
Code : Tout sélectionner
desktop>gnome>shell>windows>theme
4 - Dconf-editor :
Outil de configuration système, à la manière de Gconf-editor, pour gnome3.
Pour ma part, j'ai quelques soucis si je veux changer les variables diretement dans Dconf, je suis donc obligé de passer par la commande gsettings
Exemple : J'aimerais bien modifier la valeur de
Code : Tout sélectionner
org>gnome>desktop>interface>text-scalling-factor
qui correspond en fait a la variable
Code : Tout sélectionner
"text-scalling-factor" dans "org.gnome.desktop.interface"
Code : Tout sélectionner
gsettings set org.gnome.desktop.interface text-scalling-factor 0.8
Si vous avez d'autres trucs, n'hésitez pas...