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

11

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

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

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

Respuestas:

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