Changer la police du panneau supérieur dans Ubuntu 19.04
En utilisant le thème Yaru par défaut, je veux changer la police du panneau supérieur pour qu'elle corresponde aux polices modifiées dans Gnome Tweaks . Comme le thème Yaru n'a pas de thème Shell, comme indiqué:
Je ne trouve pas le fichier CSS requis dans le répertoire Yaru qui inclut les variables Shell à modifier. Toute aide est très appréciée.
Par défaut Ubuntu 19.04
le thème du shell utilisateur est /usr/share/gnome-Shell/theme/Yaru/gnome-Shell.css
Si vous souhaitez utiliser votre propre thème Shell, vous devez installer le thème User-Shell. https://extensions.gnome.org/extension/19/user-themes/
Si vous utilisez celui par défaut,
ouvrez le fichier /usr/share/gnome-Shell/theme/Yaru/gnome-Shell.css et modifiez le contenu comme ci-dessous. Veuillez noter que j'ai déjà ajouté la ligne font-family: Arial, Helvetica, sans-serif; dans le contenu ci-dessous.
/* TOP BAR */
#panel {
background-color: #1d1d1d;
font-weight: 450;
font-family: Arial, Helvetica, sans-serif;
height: 1.86em;
font-feature-settings: "tnum"; }
par exemple: dans le belwo .gif, j'ai changé la police de la barre supérieure de "Keraleeyam" en "Dyuthi"
