Estoy usando GNOME Shell como mi escritorio Linux predeterminado en Ubuntu en este momento, y hasta ahora lo estoy disfrutando mucho, salvo una cosa.
La fuente principal de la interfaz de usuario de GNOME Shell no se puede cambiar directamente.
GNOME Tweak Tool le permite cambiar la familia de fuentes y el tamaño de fuente para las ventanas de aplicaciones, la interfaz y el terminal, pero estos cambios no cambian la fuente utilizada en la barra superior de GNOME, notificaciones, menús de extensión, el menú desplegable de fecha/hora, el Superposición de guión/actividades y otros lugares.
Una rápida búsqueda en Google encontró una solución en el comentarios en un blog de 2013. Sí, ¡parece que este es un problema de larga data!
La buena noticia es que no es necesario que sigas usando un escritorio que no coincide. Puede cambiar la fuente de GNOME Shell utilizada en la barra superior de GNOME Shell y otros elementos de la interfaz de usuario.
¿Cómo? Editando un archivo .css.
Cómo cambiar la fuente en la barra superior de GNOME Shell (+ en otros lugares)
Debería tener todo lo que necesita para cambiar la fuente de la barra superior de GNOME, es decir, un editor de texto. Pero el archivo .css exacto que necesita editar dependerá del tema de GNOME Shell que esté utilizando.
Si no está seguro de estar utilizando un tema de GNOME Shell, probablemente no lo esté. Es necesario tener instalado el Extensión de tema de usuario desde el sitio web de Extensiones de GNOME para habilitar esta función y tener instalado el tema de GNOME Shell correspondiente.
Así es como los logramos; necesitas editar el correspondiente gnome-shell.css archivo en el directorio del tema.
Estoy usando el tema Arc Dark GNOME Shell, instalado desde el software Ubuntu. Para editar su archivo .css y modificar la fuente, primero ejecuto:
sudo gedit /usr/share/themes/Arc-Dark/gnome-shell/gnome-shell.css
La ubicación de su tema puede ser diferente, así que asegúrese de editar el archivo apropiado antes de comenzar.
Una vez que haya localizado y abierto el archivo 'gnome-shell.css' correspondiente, busque el siguiente fragmento de código que comienza:
stage {
Una vez que haya localizado la sección correcta (ver imagen arriba), podrá cambiar la familia de fuentes (y tamaño y color si lo desea) a cualquier fuente que haya instalado.
Entonces, por ejemplo, si quiero la fuente Ubuntu, cambiaría la familia de fuentes a Ubuntu así:
stage {
font-family: Ubuntu;
font-size: 9pt;
color: #5c616b; }
Una vez que haya realizado la edición, recuerde presionar guardar y luego salir.
Para que los cambios surtan efecto, deberá abrir GNOME Tweak Tool y seleccionar su tema de shell en el menú desplegable en 'Apariencia' (si su tema ya está seleccionado, continúe y seleccione un tema diferente y luego vuelva a cambiar para que se realice el cambio). efecto).
Eso es todo lo que hay que hacer; la fuente predeterminada para GNOME Shell ha cambiado: ¡disfrútala!
