web-dev-qa-db-fra.com

Comment puis-je changer la police de la barre supérieure sans changer le thème du shell?

J'utilise Ubuntu GNOME 17.04. Je souhaite remplacer la police par défaut d'Adapta par la barre supérieure de GNOME par Fira Sans. J'ai déjà toutes les polices, je veux juste changer la police de la barre supérieure pour qu'elle ne paraisse pas à sa place par rapport à tout le reste.

themesfontsgnome-shelltop-bar
10
Justin15

Vous pouvez créer une substitution css personnalisée dans votre répertoire personnel et la charger à partir de ce répertoire (sinon, si vous apportez des modifications à la feuille de style du thème, toute mise à jour du thème la remplacera probablement).

Tout d’abord, vous devez savoir où se trouve le thème Adapta . Si vous l'avez installé à partir d'un package .deb ou d'un PPA, il doit être situé à /usr/share/themes/Adapta et un fichier gnome-Shell.css doit figurer dans /usr/share/themes/Adapta/gnome-Shell/.

Suivez maintenant les étapes ci-dessous.

  1. Créez un répertoire, par exemple, MyThemename__, soit dans ~/.themes, soit dans ~/.local/share/themes. (Vous pouvez créer ~/.themes ou ~/.local/share/themes s'ils n'existent pas.)
  2. Créez un autre répertoire dans MyThemeappelé gnome-Shell.
  3. Créez un document vide dans ce répertoire gnome-Shell et nommez-le gnome-Shell.css.

  4. Ouvrez ce gnome-Shell.css dans un éditeur de texte et ajoutez les lignes suivantes

    @import url("/usr/share/themes/Adapta/gnome-Shell/gnome-Shell.css");  

stage {
    font-family: FONT_NAME, Sans-Serif;
    font-size: 14pt;
    color: #ffffff;
}

    Changez FONT_NAME en une police de votre choix (vous pouvez également changer la taille et la couleur de la police) et enregistrez le fichier.

  5. Ouvrez GNOME Tweak Tools et activez l’extension User themes . (Si l'extension n'est pas installée, vous pouvez l'installer à partir de ici .)

  6. Accédez à la section Apparence de Tweak Tools et cliquez sur la liste déroulante en regard de " thème Shell . ". MyTheme devrait apparaître dans la liste déroulante. Sélectionnez le.

  7. Redémarrez GNOME Shell en tapant alt+f2 puis R+enter (fonctionne dans une session Xorg, dans la déconnexion Wayland et reconnectez-vous).

16
pomsky

J'ai trouvé la réponse à ma question! Le moyen le plus efficace de changer la police de la barre supérieure est de changer les familles de polices dans le fichier gnome-Shell.css.

Pour ce faire, utilisez d'abord

Sudo su

ouvrir un terminal root. Puis utiliser

nautilus --browser

d'ouvrir une version racine de Nautilus.

Vous voudrez alors accéder à /usr/share/themes/"THEME_NAME"/gnome-Shell/gnome-Shell.css/. Ouvrez le fichier et où il dit quelque chose comme

stage { font-size: 10pt; font-family: Roboto, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

remplacez la première police par le nom de votre police. Le résultat devrait être quelque chose comme

stage { font-size: 10pt; font-family: Fira Sans, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

si vous avez changé la police en Fira Sans.

Redémarrez le shell en utilisant Alt+F2 puis tapez r.

Cela permet aux thèmes de votre choix d'avoir les polices de votre choix au lieu de les remplacer par Adwaita.

Remarque: les mises à jour des thèmes GTK peuvent perturber cette configuration. La réponse de pomsky a donc été marquée comme étant la meilleure.

2
Justin15