Réponses:
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 .deb
package ou d'un PPA, il doit se trouver dans /usr/share/themes/Adapta
et il doit y avoir un gnome-shell.css
fichier dans /usr/share/themes/Adapta/gnome-shell/
.
Suivez maintenant les étapes ci-dessous.
MyTheme
dans ~/.themes
ou dans ~/.local/share/themes
. (Vous pouvez créer ~/.themes
ou ~/.local/share/themes
s'ils n'existent pas.)MyTheme
appelé gnome-shell
.gnome-shell
répertoire et nommez-le gnome-shell.css
.Ouvrez-le 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;
}
Choisissez FONT_NAME
une police de votre choix (vous pouvez également modifier la taille et la couleur de la police) et enregistrez le fichier.
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 .)
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.
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).
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.css
fichier.
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.
Dans Ubuntu 19.10, l' gnome-shell.css
emplacement est:
/usr/share/gnome-shell/theme/Yaru/gnome-shell.css
Modifier en gnome-shell.css
tant 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.
nano
pour modifier le texte dans la ligne de commande ou exécutersudo -H gedit
,sudo -H nautilus
etc.