Utiliser n'importe quelle police dans le terminal Mac OS X
Le Terminal dans les versions modernes de Mac OS X applique une nouvelle norme de largeur de caractères monospaces, ce qui, en termes simples, signifie que vous n'avez plus besoin d'utiliser des polices monospaces dans le Terminal. Cela signifie que vous pouvez désormais utiliser n'importe quelle police, même Comic Sans comme le montre la capture d'écran ci-dessous (hourra ?).
Comment changer la police du Terminal dans Mac OS X
Vous pouvez choisir n'importe quelle police pour qu'elle devienne la nouvelle police par défaut dans Terminal, ou vous pouvez attribuer le changement de police à des profils spécifiques. Il est évident que vous voudrez utiliser quelque chose de lisible :
- Ouvrez "Préférences" dans le menu de l'application Terminal
- Choisissez Paramètres, puis sélectionnez un thème et allez à l'onglet Texte
- Choisissez "Police" et modifiez la police du terminal comme vous le souhaitez
Tant que vous utilisez activement le thème que vous ajustez, les changements prennent effet immédiatement et en direct.
La possibilité d'ajuster la police et l'espacement des lignes est peut-être plus utile que la modification de la police. Lorsque vous êtes dans les paramètres des thèmes de Terminal, vous pouvez également modifier l'image de fond des fenêtres de Terminal, ce qui est un effet agréable.
Je suis un grand fan de Menlo Regular 11 et 12, mais le monde des polices de caractères laides s'ouvre maintenant à vous, y compris les caractères Dingbats et Emoji si vous voulez vraiment faire des bêtises. Bien que cela ne soit que marginalement utile, cela permet un degré supplémentaire de personnalisation de l'expérience utilisateur, ce qui est toujours un plus dans notre livre.
Cela fonctionne dans toutes les versions modernes d'OS X, de OS X Lion à Mountain Lion, Mavericks, OS X Yosemite, vous le savez, c'est supporté après Lion.
Merci d'avoir envoyé le tuyau de McaWorld , Greg
