¿Es posible cambiar el espacio entre líneas en la Terminal, o hay alguna otra aplicación que lo permita? Me estoy mudando de Mac, y su aplicación de terminal tiene esta característica que permite cambiar el espacio entre líneas independientemente del tamaño de la fuente.
Por ejemplo, aquí está Monaco en la Mac a las 17pt, sin ningún ajuste. Mi problema con esto es que es una mezcla de texto: el ojo se dibuja verticalmente tanto como horizontalmente:
Y con un espacio entre líneas "1.1" y un espacio entre caracteres ligeramente más estrecho. Hago esto para que mi ojo siga líneas más fácilmente. Es una regla general en el diseño que el espacio entre líneas debe ser mayor que el espacio entre palabras. Esto se acerca un poco más a ese ideal:
Me pregunto cómo lograr esto con Ubuntu. Por ahora, mi mejor solución es usar Source Code Pro, que está diseñado con estas ideas en mente, aparentemente: