web-dev-qa-db-fra.com

Comment puis-je changer de façon permanente la taille du texte pour gnome-terminal?

Je voulais juste demander ...

Il semble que vous devez appuyer sur Ctrl + - (ctrl plus le signe moins) afin d’obtenir une meilleure résolution (texte plus petit) lors de l’exécution de terminal.

Mais je me demandais s’il existait un moyen de conserver les paramètres de cette façon, de sorte que chaque fois que vous allumez le terminal, celui-ci fonctionne déjà avec une résolution plus élevée.

11
Dark Templar

Vous pouvez définir manuellement la taille du texte dans un terminal en:

  1. ouvrir un terminal
  2. Éditer -> Préférences de profil
  3. sélectionnez police personnalisée (ou désélectionnez tilisez la police à largeur fixe du système dans les versions antérieures)
  4. Choisissez votre police et votre taille

Vous pouvez également choisir la taille du terminal en sélectionnant tiliser la taille de terminal par défaut personnalisée et en définissant un nombre de lignes et de colonnes.

15
danjjl

Vous pouvez essayer d'appeler gnome-terminal avec le paramètre --zoom, par exemple:

gnome-terminal --zoom=0.8 afin de dézoomer 20% (80% de la taille originale)

La documentation limitée pour ce paramètre est trouvée en lançant

gnome-terminal --help-all

Vous pouvez jouer un peu avec les différentes tailles de zoom afin de trouver celle qui convient, puis éditez vos raccourcis en conséquence.

4
Pavlos G.