Cómo cambiar el tamaño de fuente en el panel gnome-shell

Intenté gnome-shell en Ubuntu usando el gnome-shell --replacecomando. Funciona bien, pero creo que el tamaño de fuente en el panel de shell es demasiado grande.

¿Es posible personalizar el tamaño de fuente en el panel gnome-shell?

Por favor cambie el en /usr/share/gnome-shell/theme/gnome-shell.cssconsecuencia. Por ejemplo, si desea cambiar la fuente del panel, puede agregar font-family: "FontName"a .panel-button. Y puede personalizar aún más la fuente del Tablero, etc.

Puede consultar mi entrada de blog sobre la personalización de gnome-shell: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

Encontró esto:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

He jugado con algunas de las configuraciones en el archivo gnome-shell.css y, a través de un poco de prueba y error, logré aumentar el tamaño del texto debajo de los iconos de la aplicación. En la línea 638, aumenté el tamaño de fuente de 7.5pt a 11.5pt, lo que lo hizo más legible. Código:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

También decidí disminuir el tamaño de los íconos.

.icon-grid .overview-icon {
    icon-size: 96px;
}

Sí, es posible. Yo tuve el mismo problema :)

1. Tienes que editar el archivo /usr/share/gnome-shell/js/ui/panel.js.
2. Encuentre una línea const DEFAULT_FONTy cambie el tamaño de fuente (o incluso el nombre).
3. Después de esto, debe reiniciar gnome-shell: presione Alt+ F2, escriba ry presione Enter.

Por cierto: puede personalizar casi todo editando archivos JavaScript ubicados en el uidirectorio.

Las publicaciones que recomiendan la edición /usr/share/gnome-shell/theme/gnome-shell.cssson correctas; sin embargo, debe tenerse en cuenta que si está utilizando un tema alternativo de gnome-shell (por ejemplo, si está ejecutando Linux Mint), puede haber archivos editables adicionales.

Por ejemplo, el tema 'Mint-Z' de Mint12 tiene archivos .css configurables en /usr/share/themes/Mint-Z.

Además, las extensiones gnome-shell pueden tener sus propios archivos .css configurables, ubicados en /usr/share/gnome-shell/extensions/{extension id}/o $HOME/.local/share/gnome-shell/extensions/{extension id}/. Sin embargo, no estoy seguro de si esta configuración puede anular los valores predeterminados del tema.

EDITAR: @Guilherme en realidad responde a tu pregunta.

FYI En mi sistema ( gnome-shell 3.2.1-0ubuntu1), el selector css apropiado se encuentra en la /usr/share/gnome-shell/theme/gnome-shell.csslínea 720 y está configurado en 7.5pt. Sin embargo, la configuración real de mi sistema Mint12 está en /usr/share/themes/Mint-Z/gnome-shell.css@line 880 y está configurada en 8pt. Modifique este valor, luego vuelva a cargar su tema utilizando el comando 'rt' en el ALT+F2indicador.

sudo gedit /usr/share/vte/termcap/xterm

Edite esta línea:

:co#80:it#8:li#24:\

Fuente:

http://ubuntuforums.org/showthread.php?t=15471