Comment puis-je changer la taille de la police pour Git Bash?
Ceci est le site Web sur lequel j'ai téléchargé l'application associée, cliquez ici .
C'est un peu différent d'un programme comme MS Word mais le processus est vraiment simple
Étape 1: Ouvrez votre terminal Git Bash et cliquez sur le logo présent dans le coin supérieur gauche de l'invite du terminal, puis cliquez sur le lien appelé options ... (qui sera troisième de la dernière)
Étape 2: Cliquez sur le bouton intitulé Texte (si vous souhaitez modifier l'apparence de l'arrière-plan, de l'avant-plan ou du curseur, cliquez sur la première option appelée Apparence), puis sur Panneau police cliquez sur le bouton appelé sélectionner. Et à partir de là, vous aurez toutes les options pour jouer avec votre bash police