Plus tôt cette semaine, nous vous avons montré comment rendre les panneaux Gnome totalement transparents, mais vous avez vraiment besoin de polices et de couleurs personnalisées pour que l’effet fonctionne mieux. Voici comment procéder.
Cet article est la première partie d’une série en plusieurs parties sur la personnalisation du bureau Ubuntu, écrite par le lecteur How-To Geek et ubergeek, Omar Hafiz.
Changer les couleurs du gnome en toute simplicité
Vous devrez d’abord installer Gnome Color Chooser qui est disponible dans les référentiels par défaut (le nom du package est gnome-color-chooser). Ensuite, allez dans Système> Préférences> Sélecteur de couleurs Gnome pour lancer le programme.
Lorsque vous voyez tous ces onglets, vous savez immédiatement que Gnome Color Chooser ne change pas seulement la couleur de la police du panneau, mais également la couleur des polices partout sur Ubuntu, les icônes du bureau et bien d’autres choses.
Maintenant, passez à l’onglet du panneau, ici vous pouvez contrôler tout ce qui concerne vos panneaux. Vous pouvez modifier la police, la couleur de la police, l’arrière-plan et la couleur d’arrière-plan des panneaux et des menus de démarrage. Cochez l’option « Normal » et choisissez la couleur souhaitée pour la police du panneau. Si vous le souhaitez, vous pouvez également modifier la couleur de survol des boutons du panneau.
Un peu en dessous de l’option de couleur se trouvent les options de police, cela comprend la police, la taille de la police et le positionnement X et Y de la police. Les deux premières options sont assez simples, elles changent la police et la taille.
Le X-Padding et le Y-Padding peuvent vous dérouter mais ils sont intéressants, ils peuvent donner un joli look à vos panneaux en augmentant l’espace entre les éléments de votre panneau comme ceci:
Rembourrage en X:
Rembourrage en Y:
La moitié inférieure de la fenêtre contrôle l’apparence de vos menus de démarrage qui sont les menus Applications, Lieux et Systèmes. Vous pouvez les personnaliser comme vous l’avez fait avec le panneau.
D’accord, c’était le moyen le plus simple de changer la police de vos panneaux.
Modification des couleurs du thème Gnome en ligne de commande
L’autre moyen difficile (pas si difficile vraiment) sera de changer les fichiers de configuration qui indiquent à votre panneau à quoi il devrait ressembler. Dans votre dossier personnel, appuyez sur Ctrl + H pour afficher les fichiers cachés, trouvez maintenant le fichier «.gtkrc-2.0», ouvrez-le et insérez-y cette ligne. S’il y a d’autres lignes dans le fichier, laissez-les intactes.
inclure « / home /
N’oubliez pas de remplacer
style « ma_couleur »
{
fg[NORMAL] = « # FF0000 »
}
widget « * PanelWidget * » style « ma_couleur »
widget « * PanelApplet * » style « ma_couleur »
Ce texte rendra la police rouge. Si vous voulez d’autres couleurs, vous devrez remplacer la valeur hexadécimale / la notation HTML (dans ce cas # FF0000) par la valeur de la couleur souhaitée. Pour obtenir la valeur hexadécimale, vous pouvez utiliser GIMP, la sorcière Gcolor2 est disponible dans les référentiels par défaut ou vous pouvez cliquer avec le bouton droit de la souris sur votre panneau> Propriétés> onglet Arrière-plan, puis cliquer pour choisir la couleur souhaitée et copier la valeur hexadécimale. Ne changez rien d’autre dans le texte. Une fois terminé, enregistrez et fermez. Appuyez maintenant sur Alt + F2 et entrez «killall gnome-panel» pour le forcer à redémarrer ou vous pouvez vous déconnecter et vous reconnecter.
La plupart d’entre vous préféreront la première façon de changer la police et la couleur pour sa facilité d’application et parce qu’elle vous donne beaucoup plus d’options, mais certains peuvent ne pas avoir la capacité / volonté de télécharger et installer un nouveau programme sur leur machine ou avoir des raisons de leur propre chef de ne pas l’utiliser, c’est pourquoi nous avons fourni le double moyen.
