¿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.
command-line
fonts
Akiva
fuente
fuente
cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml
ayuda?Respuestas:
La opción Usar la fuente de ancho fijo del sistema suele ser igual y establecida por
org.gnome.desktop.interface
.Para obtener la configuración de fuente actual, ejecute el siguiente comando:
Para establecer / cambiar la configuración, ejecute el siguiente comando (aquí ejemplo de aumento de tamaño):
¡Mientras ejecuto el comando anterior, encontré que la fuente de su terminal cambió (tamaño aumentado)! Entonces,
gnome-terminal
usando esa configuración de fuente.fuente
Verifique la fuente del terminal:
fuente
Aquí ya hay muchas respuestas sobre emuladores de consola, así que me centraré solo en la consola virtual. Puedes hacer gato
/etc/default/console-setup
y 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
Para cambiarlo, puede ejecutar
sudo dpkg-reconfigure console-setup
en tty. Esto actualizará la configuración del kernel, por cierto.fuente
fontface="fixed"
, mientras que la respuesta de @ Pandya me dio'Ubuntu Mono 13'
... ¿ Me pregunto por qué hay una diferencia?Puede verificar la fuente de su terminal gnome usando el siguiente comando
Por ejemplo, estoy usando este comando para gnome-terminal
Si desea cambiar la fuente usando la línea de comando, puede usar el siguiente comando
Donde 12 es el tamaño de la fuente.
fuente
No value set for '/apps/gnome-terminal/profiles/Default/font'
. Sin embargo, seguir la respuesta de Pandya (usando elgsettings
comando en su lugar) realmente funciona y devuelve la fuente del terminal Gnome.ubuntu 16.04
Gnome ... no estoy seguro de por qué esto no funcionó ... pero laPandya'a
respuesta funcionó ...