web-dev-qa-db-fra.com

Git Bash (MinGW 64) v2.12.2 - comment changer la taille de la police?

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 .

11
Arda Özceviz
  1. Faites un clic droit dans le coin supérieur gauche de la fenêtre de Git Bash et choisissez "Options .." :

    Enter image description here

  2. Cliquez sur "Texte" et "Sélectionner". Sélectionnez une taille de police appropriée:

    Enter image description here

  3. Presse OK et Save conserver les nouveaux paramètres.

23
Peter Mortensen

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)

premier pas visuel

É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

2ème étape visuel

0
Anshu Aditya