1 votos

Cambiar el tamaño de fuente de la terminal programáticamente

es posible hacerlo mediante la ejecución de un comando? ¿Hay algún hack que permite esto? He intentado utilizar python-uinput para simular presionando Ctrl+Plus con el fin de hacer de fuente más grande, pero no funcionó.

Estoy tratando de mostrar imágenes en el terminal sin necesidad de una interfaz gráfica de usuario. esto es posible mediante el uso de timg. Sin embargo, la resolución de la imagen es bastante mala. Cuando hago el tamaño de la fuente de la terminal de muy pequeña, la imagen se visualiza en casi la resolución nativa.

Quiero escribir una secuencia de comandos sombrero se restablece automáticamente el terminal, cambiar el tamaño de fuente a un tamaño muy pequeño y, finalmente, la llamada timg para mostrar la imagen. Esto permitirá ssh en un control remoto el robot y mostrar la última imagen es adquirida sin tener que copiar de nuevo a mi equipo.

Yo soy sobre todo trabajar con gnome-terminal o terminator

2voto

PRATAP Puntos 66

para cambiar el gnome-terminal de tamaño de la fuente a través de la línea de comandos,

  1. en primer lugar, debemos conocer el perfil actual de identificación de la terminal de gnome. Estoy utilizando el valor predeterminado que se denomina como "sin nombre"

enter image description here

en mi caso el id de perfil es algo que está empezando con "b1dcc9" enter image description here

  1. Fuente personalizada casilla debe estar marcada.

enter image description here

  1. ejecute el siguiente comando para obtener la lista de perfiles
    gsettings get org.gnome.Terminal.ProfilesList list

Ejemplo:

$ gsettings get org.gnome.Terminal.ProfilesList list
['b1dcc9dd-5262-4d8d-a863-c897e6d979b9', 'd2a064f8-146d-45b5-8da7-d7e2f34da77e', 'aaaaaaaa-aaaa-aaaa-aaaa-aaaaaaaaaaaa']

Ya sé que mi perfil actual es algo que está empezando con "b1dcc9"

  1. obtener el nombre de la fuente y el tamaño con el siguiente comando gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font

Ejemplo:

$ gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font
'Noto Mono Bold 12'
$
  1. Establecer el nombre de la fuente y el tamaño con el siguiente comando gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font 'Ubuntu Mono Italic 50'

Ejemplo:

$ gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font 'Ubuntu Mono Italic 50'
$

Precaución: no ponga el tamaño de fuente más, va a hacer que el sistema operativo unoperatable. por error he prensa 512 en vez de 52 y presione entrar..luchado mucho para volver.

enter image description here

0voto

Joshua Tompkins Puntos 814

Me viene a la mente que a diferencia de, por ejemplo, el cambio de colores, no es posible afectar el tamaño de fuente del texto en una consola arbitraria, pero no sé si realmente intenta hacerlo.

Por favor agregue más información. ¿Qué terminal quieres controlar? gnome-terminal? ¿Por qué lo quieres programáticamente? Para una aplicación de escritorio, esto normalmente es posible en la configuración de la aplicación del terminal. Para la consola del sistema, puede utilizar sudo dpkg-reconfigure console-setup .

EnMiMaquinaFunciona.com

EnMiMaquinaFunciona es una comunidad de administradores de sistemas en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros sysadmin, hacer tus propias preguntas o resolver las de los demás.

Powered by: