Comment modifier l'espacement des lignes dans Terminal?

Est-il possible de modifier l'espacement des lignes dans Terminal, ou existe-t-il une autre application qui le permet? Je déménage du Mac, et son application terminale a cette fonctionnalité qui permet de modifier l'espacement des lignes indépendamment de la taille de la police.

Par exemple, voici Monaco sur le Mac à 17 pt, sans aucun ajustement. Mon problème est que c'est un fouillis de texte - l'œil est dessiné verticalement autant qu'horizontalement:

Et avec un espacement de ligne "1,1" et un espacement des caractères légèrement plus serré. Je le fais pour que mon œil suive plus facilement les lignes. C'est une règle générale de mise en page que l'espace entre les lignes doit être plus grand que l'espace entre les mots. Cela se rapproche un peu de cet idéal:

Je me demande comment y parvenir avec Ubuntu. Pour l'instant, ma meilleure solution consiste à utiliser Source Code Pro, conçu avec ces idées à l'esprit, apparemment:

Il existe un émulateur de terminal doté de cette fonctionnalité.

urxvt

de 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 est disponible dans ces packages:

rxvt-unicode

rxvt-unicode-256color

rxvt-unicode-lite

Konsole a cette fonctionnalité. Vous le trouverez sous les paramètres de profil dans l'onglet le plus à droite. Konsole est une application KDE, mais elle a relativement peu de dépendances et semble bien fonctionner sans KDE.

Le terminal mac prend cela en charge pour une bonne raison. Atom (éditeur) le prend également en charge. Pour moi, c'est indispensable. J'imagine que beaucoup de gens préfèrent un peu plus d'espacement / hauteur de ligne.

urxvt me semble un peu dépassé.

Cette fonctionnalité est disponible dans la GNOME Terminalversion 3.28 ( VTEbibliothèque d'émulation de terminal version 0.52).

À ma connaissance, cela n'est pas directement réalisable. Vous ne voudriez pas non plus que ce soit le cas. Avoir un espace entre les lignes gâcherait vraiment les programmes basés sur "text ui" comme nano, mail et cette petite boîte de dialogue qui apparaît lorsque vous exécutez apt à partir de la ligne de commande.

Cependant, il y a de bonnes nouvelles. Vous pouvez simplement changer la police. Certaines polices ont une sorte de "remplissage" qui vous donnera le même effet.

Je vous recommande d'utiliser Source Code Pro, il est très lisible, mais il ne donne honnêtement pas autant de remplissage que vous le souhaitez.

Gardez à l'esprit que sous Linux, le terminal est un concept différent, puis sous OS X. En tant que personne qui migre moi-même, je pense que le meilleur conseil que je puisse donner est de simplement utiliser les valeurs par défaut pendant un certain temps, puis de prendre une décision.

Ce n'est pas vraiment un correctif mais vous pouvez ajouter une ligne vierge après chaque commande avec:

export PROMPT_COMMAND="echo"