Comment changer la taille des polices terminales dans macOS

Un terminal est l'interface de ligne de commande (CLI) pour le macOS. Qui ne prend que des commandes comme entrée et est envoyé au système d'exploitation. La taille de police par défaut est suffisamment bonne, mais certaines personnes ont besoin d'augmenter la taille de la police pour une meilleure visibilité. Vous pouvez augmenter ou diminuer la taille de la police terminale via les préférences terminales.

1. Lancez un terminal sur votre système. Puis ouvrez dans le Menubar: Terminal >> Préférences

   Préférences de terminal ouvert

2. Une nouvelle boîte de dialogue s'ouvrira avec l'éditeur de profil de terminal. Ici, vous pouvez modifier le thème terminal, la couleur ou l'image d'arrière-plan, le curseur, la police et la taille de la police. Cliquez sur changement bouton comme indiqué dans l'image ci-dessous:

   Cliquez sur le bouton Modifier

3. Vous obtiendrez une liste des tailles. Sélectionnez une taille de police de votre choix, si la taille requise ne s'affiche pas dans la liste déroulante, tapez-la simplement.Sélectionnez la taille de la police à définir
4. Terminé. Fermez toutes les boîtes de dialogue, y compris le terminal. Puis lancez un nouveau terminal et vous obtiendrez la nouvelle taille de police.

Ce tutoriel rapide vous montre - comment augmenter ou diminuer la taille de la police du terminal macOS.