Page d'accueil » comment » Personnalisation des polices et des couleurs pour les panneaux Gnome sous Ubuntu Linux

    Personnalisation des polices et des couleurs pour les panneaux Gnome sous Ubuntu Linux

    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 rendre l'effet plus performant. Voici comment le faire.

    Cet article est la première partie d'une série d'articles sur la personnalisation du bureau Ubuntu, rédigée par le lecteur How-To Geek et ubergeek, Omar Hafiz..

    Changer le gnome en toute simplicité

    Vous devez d’abord installer Gnome Color Chooser, qui est disponible dans les référentiels par défaut (le nom du paquet est gnome-color-chooser). Ensuite, sélectionnez 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 modifie non seulement la couleur de la police du panneau, mais également la couleur des polices dans Ubuntu, les icônes du bureau et bien d'autres choses encore..

    Passez maintenant à l'onglet Panneau, vous pouvez contrôler ici 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 que vous souhaitez 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, ce qui inclut 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 confondre, mais ils sont intéressants. Ils peuvent donner un aspect agréable à vos panneaux en augmentant l’espace entre les éléments de votre panneau comme suit:

    X-Padding:

    Rembourrage en Y:

    La moitié inférieure de la fenêtre contrôle l'aspect de vos menus de démarrage, à savoir les menus Applications, Lieux et Systèmes. Vous pouvez les personnaliser comme vous l'avez fait avec le panneau.

    Bon, c'était le moyen facile de changer la police de vos panneaux.

    Changer le thème du gnome donne une couleur en ligne de commande

    L'autre manière difficile (pas vraiment difficile) consiste à modifier 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. Recherchez maintenant le fichier «.gtkrc-2.0», ouvrez-le et insérez cette ligne. S'il y a d'autres lignes dans le fichier, laissez-les intactes.

    inclure “/home//.gnome2/panel-fontrc”

    N'oubliez pas de remplacer le par votre nom de compte utilisateur. Une fois terminé, fermez et enregistrez le fichier. Maintenant, naviguez dans le dossier «.gnome2» à partir de votre dossier d’accueil, créez un nouveau fichier et nommez-le «panel-fontrc». Ouvrez le fichier que vous venez de créer avec un éditeur de texte et collez-y les éléments suivants:

    style “ma_couleur”

    fg [NORMAL] = “# FF0000”

    widget “* PanelWidget *” style “my_color”
    widget “* PanelApplet *” style “my_color”

    Ce texte rendra la police rouge. Si vous voulez d'autres couleurs, vous devrez remplacer la valeur hexadécimale / Notation HTML (dans ce cas, # FF0000) par la valeur de la couleur souhaitée. Pour obtenir la valeur hexadécimale, vous pouvez utiliser GIMP, 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 Hex. Ne changez rien d'autre dans le texte. Lorsque vous avez terminé, enregistrez et fermez. Maintenant, appuyez 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 le premier moyen de changer la police et la couleur pour sa facilité d’application et parce que cela vous donne beaucoup plus d’options, mais certains n’auront peut-être pas la capacité / la volonté de télécharger et d’installer un nouveau programme sur leur machine ou d’avoir des raisons de leur propre pour ne pas l'utiliser, c'est pourquoi nous avons fourni le deux sens.