Si vous êtes un utilisateur Mac qui trouve que la sortie de texte affichée dans l'application Terminal est un peu trop confinée et étroitement espacée, vous serez ravi de découvrir que vous pouvez ajuster l'espacement des lignes en fonction de vos préférences. Vous pouvez augmenter considérablement ou un peu l'espacement des lignes dans Terminal (ou si vous le souhaitez vraiment, réduire également l'espacement des lignes), et vous constaterez peut-être que même une petite augmentation de l'espacement des lignes peut améliorer considérablement la lisibilité du texte et sortie de commande dans l'application Terminal.

La modification de l'espacement des lignes est en direct, vous pouvez donc obtenir instantanément des commentaires sur la différence d'apparence et déterminer rapidement si vous aimez ou non le réglage.

Comment modifier l'espacement des lignes dans l'application Terminal de Mac OS X

1. Ouvrez une nouvelle fenêtre de terminal si vous n'en avez pas déjà une ouverte
2. Déroulez le menu "Terminal" et choisissez Préférences
3. Allez dans l'onglet "Profils"
4. Choisissez l'onglet "Texte" et cliquez sur le bouton "Modifier…"



5. Faites glisser la barre « Interligne » vers le paramètre d'espacement de ligne approprié selon vos préférences, en allant tout à droite, l'espacement de ligne augmente considérablement de 1,5 x 



6. Fermez la fenêtre Préférences lorsque vous êtes satisfait

Pour une augmentation subtile mais notable de l'espacement et de la lisibilité, visez entre 1,1 et 1,3 sur l'échelle d'espacement des lignes.

 Voici un exemple du changement de lisibilité offert par l'augmentation de l'espacement des lignes. Dans ce cas, l'espacement des lignes passe de la valeur par défaut de 1,0 à la valeur étendue de 1,5. Voici à quoi cela ressemble avec l'espacement accru :

Et voici l'interligne par défaut, avec des lignes très proches les unes des autres et un peu plus étroites :

Vous pouvez en fait modifier l'espacement des lignes par profil de terminal. Par conséquent, si vous utilisez différents profils, vous souhaiterez peut-être ajuster l'espacement des lignes pour chacun d'eux afin qu'il soit cohérent.

Voici une autre photo avant de l'interligne par défaut dans l'application Terminal :

Et une autre photo après avoir augmenté l'espacement des lignes à 1,5x dans l'application Terminal :

Lequel préférez-vous ? Cela va être une question de préférence personnelle, et encore une fois, il peut vous convenir mieux de choisir un changement d'espacement de ligne plus subtil, environ 1,1x environ.

Ajuster l'espacement des lignes de cette manière facilite considérablement la lecture tout en conservant le formatage souhaité des sorties de commande.

Pour de meilleurs résultats, vous pouvez l'utiliser en conjonction avec la modification des composants d'apparence des terminaux, de la police et même de l'arrière-plan, car chacun de ces éléments peut également avoir un impact direct sur la convivialité de l'application Terminal.

N'oubliez pas non plus que le simple fait d'appuyer sur Commande + (c'est-à-dire la touche de commande et la touche plus) augmentera la taille de la police affichée dans l'application Terminal, tout comme dans Safari et d'autres applications sous Mac OS X. Cela ne Cela n'a pas d'impact sur l'espacement des lignes, mais simplement augmenter la taille de la police peut aider à rendre la sortie de la ligne de commande plus facile à lire également.