Comment changer la police de la barre supérieure sans changer le thème Shell ?

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

Réponse acceptée :

Vous pouvez créer un remplacement css personnalisé dans votre répertoire personnel et le charger à partir de là (sinon, si vous apportez une modification à la feuille de style du thème, toute mise à jour du thème l'écrasera très probablement).

Vous devez d'abord savoir où se trouve l'Adapta thème est situé. Si vous l'avez installé depuis un .deb package ou un PPA, il doit être situé dans /usr/share/themes/Adapta et il devrait y avoir un gnome-shell.css fichier dans /usr/share/themes/Adapta/gnome-shell/ .

Suivez maintenant les étapes ci-dessous.

1. Créez un répertoire, dites MyTheme soit dans ~/.themes ou 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 MyTheme appelé gnome-shell .

3. Créez un document vide dans ce gnome-shell répertoire et nommez-le gnome-shell.css .

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

   @import url("//eadn-wc01-5196795.nxedge.io/usr/share/themes/Adapta/gnome-shell/gnome-shell.css");  
   
   stage {
       font-family: FONT_NAME, Sans-Serif;
       font-size: 14pt;
   }
   

Modifier FONT_NAME dans une police de votre choix (vous pouvez également modifier la taille de la police) et enregistrez le fichier.

5. Ouvrez Outils d'ajustement GNOME et activez les thèmes utilisateur extension.
   (Si l'extension n'est pas installée, vous pouvez l'installer à partir d'ici.)

6. Aller à Apparence section de Tweak Tools et cliquez sur la liste déroulante à côté de "Thème Shell “. Mon thème doit apparaître dans la liste déroulante. Sélectionnez-le.

7. Redémarrez le shell GNOME en tapant alt +f2 puis R +Entrée (fonctionne dans une session Xorg, dans Wayland se déconnecte et se reconnecte).