Jak zmienić odstępy między wierszami w terminalu?

Czy można zmienić odstępy między wierszami w Terminalu, czy też jest na to inna aplikacja? Przenoszę się z komputera Mac, a jego aplikacja terminalowa ma tę funkcję, która pozwala zmieniać odstępy między wierszami niezależnie od rozmiaru czcionki.

Np. Oto Monako na Macu w 17pt, bez żadnych korekt. Mój problem polega na tym, że jest to mieszanka tekstu - oko jest rysowane pionowo tak samo, jak poziomo:

I przy odstępach między wierszami „1.1” i nieco ciaśniejszych odstępach między znakami. Robię to, aby moje oko łatwiej podążało za liniami. Ogólna zasada polega na tym, że odstępy między wierszami powinny być większe niż odstępy między słowami. To trochę zbliża się do tego ideału:

Zastanawiam się, jak to osiągnąć dzięki Ubuntu. Na razie moim najlepszym obejściem jest użycie Source Code Pro, który został zaprojektowany z myślą o tych pomysłach, najwyraźniej:

Istnieje jeden emulator terminala, który ma tę funkcję.

urxvt

od man 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.

Urxvt jest dostępny w pakietach thease:

rxvt-unicode

rxvt-unicode-256color

rxvt-unicode-lite

Konsola ma tę funkcję. Znajdziesz go w ustawieniach profilu na karcie po prawej stronie. Konsole jest aplikacją KDE, ale ma stosunkowo niewiele zależności i wydaje się działać dobrze bez KDE.

Terminal mac obsługuje to nie bez powodu. Atom (edytor) też to obsługuje. Dla mnie jest to niezbędne. Wyobrażam sobie, że wiele osób woli trochę więcej odstępów między liniami / wysokości linii.

Urxvt wydaje mi się trochę przestarzały.

Ta funkcja jest dostępna w GNOME Terminalwersji 3.28 ( VTEbiblioteka emulacji terminala w wersji 0.52).

Według mojej wiedzy nie jest to bezpośrednio osiągalne. Nie chciałbyś, żeby tak było. Posiadanie odstępu między wierszami naprawdę popsułoby programy oparte na „tekstowym interfejsie użytkownika”, takie jak nano, mail i to małe okno dialogowe, które pojawia się po uruchomieniu apt z linii poleceń.

Są jednak dobre wieści. Możesz po prostu zmienić czcionkę. Niektóre czcionki mają rodzaj „dopełnienia”, który daje taki sam efekt.

Polecam używać kodu źródłowego Pro, który jest bardzo czytelny, chociaż szczerze mówiąc, nie zapewnia tyle dopełnienia, ile chcesz.

Należy pamiętać, że w Linuksie terminal ma inną koncepcję niż system OS X. Jako ktoś, kto sam się migruje, myślę, że najlepszą radą, jaką mogę dać, jest skorzystanie z domyślnych ustawień przez chwilę, a następnie podjęcie decyzji.

To naprawdę nie jest poprawka, ale możesz dodać pusty wiersz po każdym poleceniu za pomocą:

export PROMPT_COMMAND="echo"