É possível alterar o espaçamento entre linhas no Terminal ou existe algum outro aplicativo que permita isso? Estou saindo do Mac, e seu aplicativo de terminal tem esse recurso que permite alterar o espaçamento entre linhas, independentemente do tamanho da fonte.
Por exemplo, aqui está o Mônaco no Mac às 17h, sem nenhum ajuste. Meu problema é que é uma confusão de texto - o olho é desenhado tanto na vertical quanto na horizontal:
E com espaçamento de linha "1.1" e espaçamento de caracteres ligeiramente mais apertado. Faço isso para que meu olho siga as linhas mais facilmente. É uma regra geral no layout que o espaço entre linhas deve ser maior que o espaço entre as palavras. Isso fica um pouco mais próximo desse ideal:
Eu estou querendo saber como conseguir isso com o Ubuntu. Por enquanto, minha melhor solução é usar o Source Code Pro, projetado com essas idéias em mente, aparentemente: