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

12

J'utilise Ubuntu GNOME 17.04. Je veux changer la police de la barre supérieure 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.

themes fonts gnome-shell top-bar Justin15
la source

Réponses:

20

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

Vous devez d'abord savoir où se trouve le thème Adapta . Si vous l'avez installé à partir d'un .debpackage ou d'un PPA, il doit se trouver dans /usr/share/themes/Adaptaet il doit y avoir un gnome-shell.cssfichier dans /usr/share/themes/Adapta/gnome-shell/.

Suivez maintenant les étapes ci-dessous.

  1. Créez un répertoire, par exemple MyThemedans ~/.themesou dans ~/.local/share/themes. (Vous pouvez créer ~/.themesou ~/.local/share/themess'ils n'existent pas.)
  2. Créez un autre répertoire à l'intérieur MyThemeappelé gnome-shell.
  3. Créez un document vide dans ce gnome-shellrépertoire et nommez-le gnome-shell.css.

  4. Ouvrez-le gnome-shell.cssdans 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;
}

    Choisissez FONT_NAMEune police de votre choix (vous pouvez également modifier 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 d' ici .)

  6. Allez dans la section Apparence des outils Tweak et cliquez sur la liste déroulante à côté de " Thème Shell ". MyTheme devrait apparaître dans la liste déroulante. Sélectionnez-le.

  7. Redémarrez le shell GNOME en tapant alt+ f2puis R+ enter(fonctionne dans une session Xorg, dans la déconnexion Wayland et connectez-vous à nouveau).

pomsky
la source
2

J'ai trouvé la réponse à ma question! Le moyen le plus efficace de modifier la police de la barre supérieure consiste à modifier les familles de polices dans le gnome-shell.cssfichier.

Pour ce faire, utilisez d'abord 

sudo su

pour ouvrir un terminal racine. Ensuite, utilisez

nautilus --browser

pour ouvrir une version racine de Nautilus.

Vous voudrez alors naviguer vers /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 à l'aide de Alt+ F2, puis tapez r.

Faire cela fait que les thèmes que vous voulez ont les polices que vous voulez au lieu de changer en Adwaita.

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

Justin15
la source
3
J'ai modifié ma réponse pour travailler avec le thème Adapta. Au fait, vous ne devriez jamais démarrer une application graphique comme Nautilus ou gedit avec sudo normal . Comme alternative, vous pouvez utiliser nanopour modifier le texte dans la ligne de commande ou exécuter sudo -H gedit, sudo -H nautilusetc.
pomsky
1

Dans Ubuntu 19.10, l' gnome-shell.cssemplacement est:

/usr/share/gnome-shell/theme/Yaru/gnome-shell.css

Modifier en gnome-shell.csstant qu'administrateur. Recherchez ensuite

stage {
  font-family:

Ajoutez simplement le nom de famille de polices souhaité. Par exemple:

stage {
  font-family: Fira Sans, Cantarell, Sans-Serif;
  font-size: 10pt;
  color: #3D3D3D; }

Terminé. Enregistrez-le et déconnectez-vous et reconnectez-vous.

FM Panda
la source