Comment augmenter la taille de la police dans VIM?

VIM est connu comme un éditeur puissant plein de fonctionnalités dans un terminal Linux. De nombreux administrateurs Linux préfèrent modifier les fichiers de configuration dans un éditeur qui fournit des fonctionnalités utiles pour faire avancer les choses facilement au lieu d'écrire du texte dans n'importe quel éditeur de texte.

Lorsque les administrateurs de Linux Server passent beaucoup de temps sur le terminal ou dans l'éditeur de texte VIM gérer et effectuer des tâches administratives, ils en ont assez de regarder le même écran de terminal et les mêmes polices. Pour résoudre cet objectif, nous pouvons modifier certains paramètres de préférence pour personnaliser les paramètres du terminal. Ce message consiste à changer les paramètres du terminal et à personnaliser les polices selon notre désir.

Dans cet article, nous allons passer par quelques méthodes faciles et rapides pour augmenter la taille de la police et apprendre plus tard les étapes de personnalisation de la police du terminal.

Méthode 1: Utilisation des touches de raccourci clavier

La méthode la plus rapide et la plus facile consiste à modifier la taille de la police dans l'éditeur VIM à l'aide des touches de raccourci clavier:

'Ctrl' + 'shift' + '+' pour zoomer et augmenter la taille de la police

'Ctrl' + '-' pour zoomer et diminuer la taille de la police

De cette façon, vous pouvez rapidement zoomer sur le terminal et avoir une vue claire du terminal. Cependant, ce changement de taille de police est provisoire car lorsque vous fermez le terminal, le terminal reviendra à ses paramètres par défaut d'origine.

Pour modifier la taille de la police et certains autres paramètres de façon permanente, suivez les étapes ci-dessous:

Étape 1: Préférences des terminaux ouverts

Tout d'abord, ouvrez les préférences du terminal pour modifier la taille de la police du terminal.

Ouvrez les préférences en cliquant sur l'option Hamburger, et dans le menu, cliquez sur l'option Préférences.

Ou cliquez avec le bouton droit n'importe où dans le terminal et cliquez sur l'option Préférences dans le menu contextuel.

Vous aurez une fenêtre de préférence comme celle-ci.

La fenêtre de préférence nous permet d'avoir des préférences personnalisées et de les enregistrer. C'est donc pourquoi vous voyez le nom de profil «sans nom» par défaut à la barre supérieure de la fenêtre de préférence.

Étape 2: Activer la personnalisation des polices

Une fois que vous avez ouvert la fenêtre des préférences du terminal, assurez-vous que vous êtes dans l'onglet texte comme indiqué dans l'image fournie ci-dessous:

Dans l'onglet Texte, cliquez sur la case «Font personnalisé» pour activer la personnalisation de la police et modifier le style de police et la taille de la police.

Étape 3: Changer la police du terminal

Maintenant, vous pouvez voir que le nom de la police et l'option de taille de police sont devenus modifiables. Cliquez simplement sur le champ de saisie «-taille de police» et une autre petite fenêtre s'ouvrira.

Dans cette petite fenêtre, vous pouvez rechercher la police de votre choix et en faire la police de votre terminal.

Dans la section inférieure de la fenêtre, vous avez un curseur pour modifier la taille de la police ou vous pouvez également fournir directement la police de votre choix dans le champ de saisie à côté du curseur.

Étape 4: Enregistrez les paramètres

Après avoir choisi la bonne police et la bonne taille, n'oubliez pas de cliquer sur le Sélectionner bouton dans le coin supérieur droit de la fenêtre.

Une fois que vous êtes de retour dans la fenêtre de préférence, fermez simplement la fenêtre des préférences pour enregistrer les paramètres.

Lorsque vous revenez au terminal, vous auriez la police et la taille de la police modifiées de votre choix.

Conclusion

C'est à quel point il est facile et simple de modifier la police terminale et la taille de la police dans VIM et avoir la taille et le style de notre choix. Ce message contient deux méthodes; L'un consiste à augmenter rapidement la taille de la police et l'autre est de modifier les préférences du terminal pour modifier la taille de la police en permanence. En suivant simplement les étapes simples fournies dans ce post, tout débutant Linux peut modifier la taille de la police terminale dans VIM.