¿Cómo cambiar la fuente de la barra superior sin cambiar el tema de Shell?

Estoy usando Ubuntu GNOME 17.04. Quiero cambiar la fuente de la barra superior de GNOME de la fuente predeterminada de Adapta a Fira Sans. Ya tengo todas las fuentes, solo quiero cambiar la fuente de la barra superior para que no se vea fuera de lugar en comparación con todo lo demás.

Respuesta aceptada:

Puede crear una anulación de css personalizada en su directorio de inicio y cargarla desde allí (de lo contrario, si realiza algún cambio en la hoja de estilo del tema, lo más probable es que cualquier actualización del tema lo sobrescriba).

Primero debes saber dónde está el Adapta se encuentra el tema. Si lo has instalado desde un .deb paquete o un PPA debe estar ubicado en /usr/share/themes/Adapta y debería haber un gnome-shell.css archivo en /usr/share/themes/Adapta/gnome-shell/ .

Ahora siga los pasos a continuación.

1. Cree un directorio, diga MyTheme ya sea en ~/.themes o en ~/.local/share/themes . (Puede crear ~/.themes o ~/.local/share/themes si no existen.)

2. Crea otro directorio dentro de MyTheme llamado gnome-shell .

3. Cree un documento vacío en este gnome-shell directorio y asígnele el nombre gnome-shell.css .

4. Abra este gnome-shell.css en un editor de texto y agregue las siguientes líneas

   @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;
   }
   

Cambiar FONT_NAME a una fuente de su elección (también puede cambiar el tamaño de fuente) y guarde el archivo.

1. Abra Herramientas de ajuste de GNOME y activa los Temas de usuario extensión.
   (Si la extensión no está instalada, puede instalarla desde aquí).

2. Ir a Apariencia de Tweak Tools y haga clic en el cuadro desplegable junto a "Tema de Shell “. Mi tema debe aparecer en la lista desplegable. Selecciónalo.

3. Reinicie el shell de GNOME escribiendo alt +f2 entonces R +ingresar (funciona en una sesión de Xorg, en Wayland cierra sesión y vuelve a iniciar sesión).