¿Hay alguna manera de verificar qué fuente está usando su emulador de shell / terminal desde la línea de comandos?

11

Estoy dispuesto a resolver la lectura de parte de un archivo de configuración, si un comando directo no está disponible.

command-line fonts

— Akiva
fuente

¿Pueden los contenidos de cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmlayuda?

— Pandya

7

La opción Usar la fuente de ancho fijo del sistema suele ser igual y establecida por org.gnome.desktop.interface.

pantalla0

Para obtener la configuración de fuente actual, ejecute el siguiente comando:
```
gsettings get org.gnome.desktop.interface monospace-font-name
```
Para establecer / cambiar la configuración, ejecute el siguiente comando (aquí ejemplo de aumento de tamaño):
```
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'
```

¡Mientras ejecuto el comando anterior, encontré que la fuente de su terminal cambió (tamaño aumentado)! Entonces, gnome-terminalusando esa configuración de fuente.

— Pandya
fuente

¡Gracias! Estaba tratando desesperadamente de descubrir la "fuente de ancho fijo del sistema" que Ubuntu usa para usarla también en urxvt.

— balu

2

Verifique la fuente del terminal:

grep -i "fontface" / etc / default / console-setup

— Andy
fuente

2

Aquí ya hay muchas respuestas sobre emuladores de consola, así que me centraré solo en la consola virtual. Puedes hacer gato /etc/default/console-setupy encontrar la línea que dice FONTFACE. Alternativamente podríasgrep -n FONTFACE /etc/default/console-setup

Por ejemplo, aquí está mi archivo de configuración de consola

ingrese la descripción de la imagen aquí

Para cambiarlo, puede ejecutar sudo dpkg-reconfigure console-setupen tty. Esto actualizará la configuración del kernel, por cierto.

— Sergiy Kolodyazhnyy
fuente

Probé su método y mencionó fontface="fixed", mientras que la respuesta de @ Pandya me dio 'Ubuntu Mono 13'... ¿ Me pregunto por qué hay una diferencia?

— alpha_989

1

@ alpha_989 Porque la respuesta de Pandya se relaciona con los emuladores de terminal GUI, mientras que la mía, con las consolas virtuales TTY. Ambos son válidos para sus respectivos propósitos.

— Sergiy Kolodyazhnyy

1

Puede verificar la fuente de su terminal gnome usando el siguiente comando

gconftool-2 --get /apps/gnome-terminal/profiles/Default/font

Por ejemplo, estoy usando este comando para gnome-terminal

 [guru@guru-pc:~]$gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
  Monospace 12

Si desea cambiar la fuente usando la línea de comando, puede usar el siguiente comando

  gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "courier new 12"

Donde 12 es el tamaño de la fuente.

— g_p
fuente

En mi env (16.04.3, plasma, KDE) esta sugerencia falla con No value set for '/apps/gnome-terminal/profiles/Default/font'. Sin embargo, seguir la respuesta de Pandya (usando el gsettingscomando en su lugar) realmente funciona y devuelve la fuente del terminal Gnome.

— arielf

Lo mismo aquí ... usando ubuntu 16.04Gnome ... no estoy seguro de por qué esto no funcionó ... pero la Pandya'arespuesta funcionó ...

— alpha_989