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ère monospace, ce qui, en termes simples, signifie que vous n'avez plus besoin d'utiliser des polices monospace dans le Terminal. Cela signifie que vous pouvez maintenant utiliser n'importe quelle police que vous voulez, même Comic Sans comme la capture d'écran ci-dessous (hourra?).
Comment changer la police du terminal dans Mac OS X
Vous pouvez choisir n'importe quelle police que vous voulez devenir la nouvelle valeur par défaut dans Terminal, ou vous pouvez affecter la modification de police à des profils spécifiques. Vous voudrez évidemment utiliser quelque chose qui est lisible:
- Ouvrez "Préférences" dans le menu de l'application Terminal.
- Choisissez Paramètres, puis sélectionnez un thème et accédez à l'onglet Texte
- Choisissez "Police" et faites la modification à la police du terminal comme vous le souhaitez
Tant que vous utilisez activement le thème que vous êtes en train d'ajuster, les modifications prennent effet immédiatement de manière dynamique.
Peut-être plus utile que de changer la police est la possibilité d'ajuster la police et l'interligne. Pendant que vous êtes dans les paramètres des thèmes Terminal, vous pouvez également modifier l'image d'arrière-plan des fenêtres Terminal, ce qui est un bon effet.
Je suis un grand fan de Menlo Regular 11 et 12, mais le monde des polices moche est maintenant ouvert à vous, y compris les personnages Dingbats et Emoji si vous voulez vraiment devenir stupide. Bien 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 l'appelez, il est soutenu post-Lion.
Merci d'avoir envoyé le conseil de McaWorld, Greg
