Comment changer l'interligne dans Terminal?
Est-il possible de changer l'interligne dans Terminal ou existe-t-il une autre application qui le permet? Je passe du Mac et son application de terminal est dotée de 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 avec cela est que c'est un mélange de texte - l'oeil est dessiné verticalement autant que horizontalement:
Et avec "1,1" interligne et espacement des caractères légèrement plus serré. Je le fais pour que mes yeux suivent les lignes plus facilement. En règle générale, la disposition veut que l’espace entre les lignes soit 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 le moment, ma meilleure solution consiste à utiliser Source Code Pro, conçu avec ces idées, apparemment:
Il existe un émulateur de terminal doté de cette fonctionnalité.
urxvt
de l'homme 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 comporte relativement peu de dépendances et semble bien fonctionner sans KDE.
Le terminal mac le supporte pour une bonne raison. Atom (éditeur) le supporte aussi. Pour moi c'est indispensable. J'imagine que beaucoup de gens préfèrent un peu plus d'espacement de ligne/hauteur de ligne.
urxvt me semble un peu vieilli.
Cette fonctionnalité est disponible dans GNOME Terminal version 3.28 (VTE librairie 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 ce petit 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 c'est très lisible, même si honnêtement, cela ne donne pas autant de bourrage que vous le souhaitez.
Gardez à l'esprit que sous Linux le concept de terminal est différent de celui sous OS X. En tant que personne migrant moi-même, je pense que le meilleur conseil que je puisse donner est de simplement utiliser les valeurs par défaut pendant un moment, puis de prendre une décision.
Ce n'est pas vraiment une solution, mais vous pouvez ajouter une ligne vide après chaque commande avec:
export Prompt_COMMAND="echo"