¿Cómo puedo cambiar la fuente de la barra superior sin cambiar el tema del shell?

12

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.

— Justin15
fuente

20

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, cualquier actualización del tema probablemente lo sobrescribirá).

Primero debe saber dónde se encuentra el tema Adapta . Si lo ha instalado desde un .debpaquete o un PPA, debe ubicarse en /usr/share/themes/Adaptay debe haber un gnome-shell.cssarchivo /usr/share/themes/Adapta/gnome-shell/.

Ahora sigue los pasos a continuación.

Cree un directorio, digamos MyThemeen ~/.themeso en ~/.local/share/themes. (Puede crear ~/.themeso ~/.local/share/themessi no existen).
Cree otro directorio dentro de MyThemellamado gnome-shell.
Cree un documento vacío en este gnome-shelldirectorio y asígnele un nombre gnome-shell.css.
Abra esto gnome-shell.cssen un editor de texto y agregue las siguientes líneas
```
@import url("/usr/share/themes/Adapta/gnome-shell/gnome-shell.css");  

stage {
    font-family: FONT_NAME, Sans-Serif;
    font-size: 14pt;
    color: #ffffff;
}
```
Cambie FONT_NAMEa una fuente de su elección (también puede cambiar el tamaño y el color de la fuente) y guarde el archivo.
Abra GNOME Tweak Tools y active la extensión de temas de usuario . (Si la extensión no está instalada, puede instalarla desde aquí ).
Vaya a la sección Apariencia de Tweak Tools y haga clic en el cuadro desplegable junto a " Tema de Shell ". MyTheme debería aparecer en la lista desplegable. Seleccionarlo
Reinicie el shell de GNOME escribiendo alt+ f2luego R+ enter(funciona en una sesión de Xorg, en Wayland, cierre sesión y vuelva a iniciar sesión).

— pomsky
fuente

2

¡He encontrado la respuesta a mi pregunta! La forma más efectiva de cambiar la fuente de la barra superior es cambiar las familias de fuentes en el gnome-shell.cssarchivo.

Para hacer esto, primero use

sudo su

para abrir una terminal raíz. Luego usa

nautilus --browser

para abrir una versión raíz de Nautilus.

Entonces querrás navegar a /usr/share/themes/"THEME_NAME"/gnome-shell/gnome-shell.css/. Abre el archivo y donde dice algo como

stage { font-size: 10pt; font-family: Roboto, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

cambie la primera fuente al nombre de su fuente. El resultado debería ser algo como

stage { font-size: 10pt; font-family: Fira Sans, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

si cambiaste la fuente a Fira Sans.

Reinicie el shell con Alt+ F2y luego escriba r.

Al hacer esto, los temas que desea tienen las fuentes que desea en lugar de cambiar a Adwaita.

Nota: Las actualizaciones de los Temas GTK pueden estropear esta configuración, por lo que la respuesta de pomsky se ha marcado como la mejor.

— Justin15
fuente

3

Hice el cambio a mi respuesta para trabajar con el tema Adapta. Por cierto, nunca debe iniciar una aplicación gráfica como Nautilus o gedit con sudo normal . Como alternativa, se puede usar nanopara editar texto en la línea de comandos o correr sudo -H gedit, sudo -H nautilusetc

— pomsky

1

En Ubuntu 19.10 la gnome-shell.cssubicación es:

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

Editar gnome-shell.csscomo administrador. Luego busque

stage {
  font-family:

Simplemente agregue el nombre de familia de fuente que desee. Por ejemplo:

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

Hecho. Guárdelo, cierre sesión y vuelva a iniciar sesión.

— FM Panda
fuente