Como aumentar o espaçamento entre linhas no Terminal GNOME no CentOS 7 para aumentar a legibilidade

Question

Estou usando o CentOS 7 no Virtualbox no mac e fico surpreso ao ver que não há nenhuma opção de aumentar o espaçamento entre linhas no Terminal do GNOME para aumentar a legibilidade. Eu posso fazê-lo facilmente no mac, mas não posso fazê-lo no CentOS 7. Alguma idéia de como posso fazer isso ou qualquer alternativa? Há opção para aumentar o tamanho e o estilo da fonte, mas sem espaçamento entre linhas.

Fico feliz em instalar qualquer terminal alternativo com o recurso de espaçamento de linha.

    

Answer 1

Este recurso foi recentemente adicionado à versão estável mais recente (como falamos) deste emulador de terminal, ou seja, o Terminal GNOME 3.28 e o VTE (versão do pacote Red Hat / Fedora / CentOS: vte291) versão 0.52.

Você pode tentar instalar esses pacotes do Fedora 28, eu acho que provavelmente funciona, mas não posso garantir isso. Ou você pode baixar, compilar e instalar o mais novo VTE seguido pelo GNOME Terminal.

xterm, urxvt, konsole são algumas outras opções possíveis que oferecem espaçamento entre linhas.