Como eu mudo o espaçamento de linha no Terminal?

21

É possível alterar o espaçamento de linha no Terminal ou existe algum outro aplicativo que permita isso? Estou mudando do Mac e seu aplicativo terminal tem esse recurso que permite que o espaçamento de linha seja alterado independentemente do tamanho da fonte.

Por exemplo, aqui está o Monaco no Mac às 17h, sem ajustes. Meu problema com isso é que é uma confusão de texto - o olho é desenhado verticalmente tanto quanto na horizontal:

E com espaçamento de linha "1.1" e espaçamento de caracteres ligeiramente mais estreito. Eu faço isso para que meu olho siga as linhas mais facilmente. É uma regra geral no layout que o espaço entre as linhas deve ser maior que o espaço entre as palavras. Isso fica um pouco mais perto 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 ideias em mente, aparentemente:

    
por Dogweather 29.09.2012 / 03:49

5 respostas

9

Existe um emulador de terminal com esse recurso.

urxvt

do homem urxvt:

-lsp number
Compile frills: Lines (pixel height) to insert between each row of the display.      
Useful to work around font rendering problems; resource lineSpace.

o urxvt está disponível nos pacotes de serviço:

rxvt-unicode

rxvt-unicode-256color

rxvt-unicode-lite

    
por McNisse 18.12.2012 / 01:16
2

O Konsole tem esse recurso. Você vai encontrá-lo nas configurações do perfil na guia mais à direita. O Konsole é uma aplicação do KDE, mas tem relativamente poucas dependências e parece funcionar bem sem o KDE.

O terminal mac suporta isso por um bom motivo. Atom (editor) também suporta isso. Para mim é indispensável. Eu imagino, muitas pessoas preferem um pouco mais de espaçamento de linha / altura de linha.

urxvt parece um pouco antiquado para mim.

    
por maria s 04.06.2016 / 13:10
1

Para meu conhecimento, isso não é diretamente alcançável. Nem você gostaria que fosse. Ter um espaço entre as linhas realmente atrapalharia os programas baseados em "text ui" como nano, mail e aquele pequeno diálogo que aparece quando você executa o apt a partir da linha de comando.

No entanto, há boas notícias. Você pode apenas mudar a fonte. Algumas fontes têm uma espécie de "preenchimento" que lhe dará o mesmo efeito.

Eu recomendo que você use o Pro Código Fonte é muito legível, embora honestamente, não dá tanto quanto você quer.

Tenha em mente que no Linux o terminal é um conceito diferente do que é no OS X. Como alguém que está migrando, acho que o melhor conselho que posso dar é usar os padrões por um tempo e tomar uma decisão.

    
por coteyr 12.11.2012 / 16:53
1

Esta funcionalidade está disponível em GNOME Terminal versão 3.28 ( VTE versão da biblioteca de emulação de terminal 0.52).

    
por egmont 05.12.2017 / 00:16
0

Isso não é realmente uma correção, mas você pode adicionar uma linha em branco após cada comando com:

export PROMPT_COMMAND="echo"
    
por philshem 11.11.2012 / 15:07