Augmenter rapidement la taille de la police dans le terminal pour Mac OS X avec des frappes
La taille de texte par défaut utilisée par l'application Terminal sous OS X peut être assez petite si vous utilisez un écran à grande résolution. Bien que vous puissiez modifier la police pour qu'elle corresponde mieux à vos préférences et que l'augmentation de l'espacement des lignes facilite également la lecture, une autre solution simple pour améliorer la lisibilité consiste simplement à augmenter la taille du texte affiché à l'écran lors de la visite de la ligne de commande.
Le moyen le plus simple et le plus rapide d'augmenter (ou de diminuer) la taille du texte affiché pour l'application Terminal consiste à utiliser des frappes avec les touches Commande et Plus ou Moins. Cela ajustera la taille de la police d'affichage pour la session de terminal actuellement active, mais cela ne changera pas la taille de police par défaut pour les nouvelles fenêtres ou sessions de terminal, ce qui en fait une solution plus rapide lorsque vous avez besoin d'augmenter la lisibilité.
Augmenter la taille du texte du terminal : Commande+Plus
Appuyez simplement sur Commande et sur la touche Plus (+) pour augmenter la taille de la police affichée d'une taille. Appuyez plusieurs fois sur la touche pour augmenter considérablement la taille du texte.
Réduire la taille du texte du terminal : Commande+Moins
Comme Commande+Plus augmente la taille de la police, Commande+Moins la diminue. Ainsi, si vous souhaitez réduire la taille du texte pour une raison quelconque, ou si vous avez rendu la taille du texte trop grande avec la frappe précédente, appuyez sur la touche Commande + Moins (-) pour la réduire.
Revenir à la taille de police par défaut : Commande+0
Pas ravi de la nouvelle taille de police ? Vous pouvez instantanément revenir à la taille de texte par défaut des profils de terminal actifs en appuyant sur Commande + Zéro.
Si ces raccourcis clavier de commande vous semblent familiers, c'est probablement parce que vous les avez peut-être déjà utilisés pour les mêmes changements de taille de police dans des navigateurs comme Safari, Chrome, TextEdit et de nombreuses autres applications. Tout comme le raccourci instantané des Préférences, ce n'est pas tout à fait universel, mais de nombreuses applications utilisent l'astuce Command+ et Command- pour ajuster les polices visibles qu'il est presque universel d'exécuter cette fonction.
Comme nous l'avons mentionné, il s'agit d'une approche basée sur la session pour ajuster la taille du texte du terminal, ce qui peut rendre l'affichage des détails de la ligne de commande beaucoup plus facile à lire.Si vous souhaitez modifier définitivement la taille du texte affiché, vous devez ajuster la police elle-même, qui offre également des contrôles précis pour la taille de la police, la famille de polices et le poids de la police.
Si vous faites cela pour rendre la ligne de commande un peu plus attrayante, gardez à l'esprit qu'il existe de nombreuses autres façons d'améliorer l'apparence de l'application Terminal et de la rendre plus lisible également.