¿Cómo puedo cambiar permanentemente el tamaño del texto para gnome-terminal?

Question

Sólo quería preguntar...

Parece que necesitas presionar Ctrl+ -(ctrl más el signo menos) para obtener una mejor resolución (texto más pequeño) cuando ejecutas el terminal.

Pero me preguntaba si había alguna forma de mantener la configuración de esta manera, de modo que cada vez que inicies el terminal ya funcione en mayor resolución.

Answer 1

Puede configurar manualmente el tamaño del texto en una terminal de la siguiente manera:

1. abriendo una terminal
2. Editar->Preferencias de perfil
3. seleccionarFuente personalizada(o deseleccionarUtilice la fuente de ancho fijo del sistemaen versiones anteriores)
4. Elige tu fuente y tamaño

También puedes elegir el tamaño del terminal seleccionandoUsar tamaño de terminal predeterminado personalizadoy establecer un número de filas y columnas.

Answer 2

Puedes intentar invocar gnome-terminalcon el parámetro --zoom, por ejemplo:

gnome-terminal --zoom=0.8para alejar un 20% (80% del tamaño original)

La documentación limitada para este parámetro se encuentra ejecutando

gnome-terminal --help-all

Puedes jugar un poco con los diferentes tamaños de zoom para encontrar el apropiado y luego editar tus atajos en consecuencia.