Cómo aumentar el espacio entre líneas en el Terminal GNOME en CentOS 7 para aumentar la legibilidad

1

Estoy usando CentOS 7 en Virtualbox en Mac y me sorprende ver que no hay opción de aumentar el espacio entre líneas en el Terminal GNOME para aumentar la legibilidad. Puedo hacerlo fácilmente en Mac pero no puedo hacerlo en CentOS 7. ¿Alguna idea de cómo puedo hacerlo o alguna alternativa? Hay una opción para aumentar el tamaño y el estilo de la fuente, pero no el espacio entre líneas.

Me complace instalar cualquier terminal alternativo con la función de espaciado de línea.

terminal centos-7 gnome-terminal Mian Asbat Ahmad
fuente
Debería editar la pregunta para mencionar qué emulador de terminal se está utilizando. Solo he instalado CentOS sin una GUI, así que no sé cuál es el emulador de terminal predeterminado. Como alternativa, si configura SSH en el huésped CentOS, podría usar su propio emulador de terminal que se ejecuta de forma nativa en la Mac.
Anthony Geoghegan
El valor predeterminado es gnome-terminal. Hacer ssh desde el sistema operativo invitado es una solución razonable, sin embargo, ¿qué sucede si estoy trabajando directamente en el servidor? Me complace instalar cualquier terminal alternativo con la función de espaciado de línea.
Mian Asbat Ahmad
1
He editado su pregunta para que sea más responsable. También sugiero echar un vistazo a askubuntu.com/questions/194264/…
Anthony Geoghegan

Respuestas:

0

Esta característica se agregó recientemente a la última versión estable (como hablamos) de este emulador de terminal, a saber, el Terminal 3.28 de GNOME y el VTE subyacente (nombre del paquete Red Hat / Fedora / CentOS: vte291) versión 0.52.

Puede intentar instalar estos paquetes desde Fedora 28, supongo que lo más probable es que funcione, pero no puedo garantizarlo. O bien, puede descargar, compilar e instalar el VTE más nuevo seguido de GNOME Terminal.

xterm, urxvt, konsole son algunas otras opciones posibles que ofrecen interlineado.

egmont
fuente
Gracias. ¿Tiene un enlace para descargar el tar del GNOME Terminal 3.28?
Mian Asbat Ahmad
Cualquier motor de búsqueda debería responder esto en un par de segundos. Lo siento mucho, pero no podré proporcionar ayuda paso a paso. ¡Gracias por su comprensión!
egmont