Le terminal dans les versions modernes de Mac OS X applique une nouvelle norme de largeur de caractère à espacement fixe, ce qui, en termes simples, signifie que vous n'avez plus besoin d'utiliser des polices à espacement fixe dans le terminal. Cela signifie que vous pouvez désormais utiliser la police de votre choix, même Comic Sans, comme le montre la capture d'écran ci-dessous (hourra ?).

Comment changer la police du terminal sous Mac OS X

Vous pouvez choisir n'importe quelle police que vous souhaitez devenir la nouvelle police par défaut dans Terminal, ou vous pouvez attribuer le changement de police à des profils spécifiques. Vous voudrez évidemment utiliser quelque chose de lisible :

1. Ouvrez "Préférences" dans le menu de l'application Terminal
2. Choisissez Paramètres, puis sélectionnez un thème et accédez à l'onglet Texte
3. Choisissez "Police" et modifiez la police du terminal comme vous le souhaitez

Tant que vous utilisez activement le thème que vous ajustez, les modifications prennent effet immédiatement en direct.

Peut-être plus utile que de changer la police est la possibilité d'ajuster la police et l'espacement des lignes. Pendant que vous êtes dans les paramètres des thèmes du terminal, vous pouvez également modifier l'image d'arrière-plan des fenêtres du terminal, ce qui est un bel effet.

Je suis un grand fan de Menlo Regular 11 et 12, mais le monde des polices moches vous est maintenant ouvert, y compris les caractères Dingbats et Emoji si vous voulez vraiment devenir stupide. Bien que peu 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, d'OS X Lion à Mountain Lion, Mavericks, OS X Yosemite, etc., il est pris en charge après Lion.

Merci d'avoir envoyé le conseil de McaWorld, Greg