Re:Instant +100% command line productivity boost
by CoreXtreme on Thursday August 31, 2017 @04:19AM
(#15138942)
Is there any way to configure line spacing in zsh on linux? I am using gnome terminal if that matters.
[ Parent
| on HN ]
Re:Instant +100% command line productivity boost
by sethish on Thursday August 31, 2017 @10:50AM
(#15140689)
That's a gnome-terminal feature, not at the level of ZSH. There may be a css handle for lib-vte, but I'm not aware of that being an option otherwise. The KDE terminal emulator Konsole does support line spacing, opacity, and many other things gnome-terminal is missing.