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

14

Sólo quería preguntar...

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

Pero me preguntaba si había una manera de mantener la configuración de esta manera, de modo que cada vez que inicie el terminal ya esté funcionando en una resolución más alta.

11.04 command-line gnome-terminal Templario oscuro
fuente

Respuestas:

18

Puede establecer manualmente el tamaño del texto en un terminal de la siguiente manera:

  1. abriendo una terminal
  2. Editar -> Preferencias de perfil
  3. seleccione Fuente personalizada (o anule la selección de Usar la fuente de ancho fijo del sistema en versiones anteriores)
  4. Elige tu fuente y tamaño

También puede elegir el tamaño del terminal seleccionando Usar tamaño de terminal predeterminado personalizado y estableciendo una serie de filas y columnas.

danjjl
fuente
Esto es exactamente lo que hago para obtenerlo permanentemente.
Luis Alvarado
1
¿No veo la opción " Usar la fuente de ancho fijo del sistema " en 16.04?
rudolph9
@ rudolph9 ha editado la respuesta para decir 'Seleccionar fuente personalizada', ya que eso es lo que dice en mi versión (en lugar de 'usar la fuente fija wdth del sistema')
EoghanM
4

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

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

Se encuentra documentación limitada para este parámetro ejecutando

gnome-terminal --help-all

Puede jugar un poco con los diferentes tamaños de zoom para encontrar el apropiado y luego editar sus accesos directos en consecuencia.

Pavlos G.
fuente