[Gnome3] Tweak or Tips
Publié : ven. 08 avr. 2011, 13:13
A la suite d'un post qui devenait légèrement le bordel a force de s'éloigner du sujet princeps (a savoir ici) je me permets d'ouvrir un post sur les différents Tips que chacun pourrait apporter sur gnome3.
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
Et donc dans l'ordre il faudra :
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 dans Gconf-editor
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 pour la mettre a 0.8
qui correspond en fait a la variable
En ligne de commande, c'est possible, grace a la commande gsettings :
Voila...
Si vous avez d'autres trucs, n'hésitez pas...
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...