Lorsque les administrateurs de serveurs Linux passent beaucoup de temps à gérer le terminal et à effectuer des tâches administratives, ils s'ennuient de voir le même écran de terminal et les mêmes polices. Les individus travaillent très bien dans un environnement de leur choix. Pour résoudre ce problème, Ubuntu propose quelques préréglages pour personnaliser les paramètres du terminal. Dans cet article, vous apprendrez comment modifier les paramètres du terminal et les adapter à nos besoins.
Dans cet article, nous allons parcourir un guide étape par étape sur la façon de changer la taille de la police du terminal et apprendre comment vous pouvez modifier d'autres paramètres d'un terminal en fonction de nos goûts. Les étapes pour personnaliser la police du terminal sont les suivantes.
Étape 1 :Ouvrez le terminal
La première étape consiste à ouvrir le terminal du système Ubuntu 20.04 LTS. Vous pouvez soit le faire en allant dans le menu des applications d'Ubuntu et en recherchant le "Terminal". Dans les résultats de la recherche, cliquez sur l'icône Terminal comme indiqué dans l'image ci-dessous :
Ou vous pouvez également utiliser les raccourcis clavier CTRL + ALT + T pour ouvrir le terminal directement dans le système d'exploitation Ubuntu.
Étape 2 :Ouvrez les paramètres du terminal
Après avoir ouvert le terminal Ubuntu, nous devons ouvrir les paramètres du terminal pour modifier la taille de la police du terminal.
Soit vous pouvez ouvrir les paramètres en cliquant sur l'option hamburger dans le coin supérieur droit de la fenêtre du terminal et en cliquant sur l'option paramètres.
Ou vous pouvez simplement cliquer avec le bouton droit n'importe où entre le terminal et cliquer sur l'option Paramètres dans le menu contextuel.
Vous avez une fenêtre de paramètres comme celle-ci.
La fenêtre des paramètres nous permet d'effectuer des réglages individuels et de les enregistrer. Pour cette raison, vous verrez le nom de profil "sans nom" par défaut dans la barre supérieure de la fenêtre des paramètres.
Étape 3 :activez la personnalisation des polices
Après avoir ouvert la fenêtre des paramètres du terminal, assurez-vous que vous êtes dans l'onglet texte comme indiqué dans la figure suivante :
Dans l'onglet Texte, cochez la case Police personnalisée pour activer la personnalisation de la police et modifier le style et la taille de la police.
Étape 4 :modifiez la police du terminal
Vous pouvez maintenant voir que le nom et la taille de la police peuvent être modifiés. Cliquez simplement sur le champ de saisie "Taille de la police" et une petite fenêtre s'ouvrira.
Dans cette petite fenêtre qui s'affiche, vous pouvez trouver la police de votre choix et en faire la police de votre terminal.
Bien que vous ayez un curseur en bas de la fenêtre pour modifier la taille de la police, vous pouvez également entrer la police de votre choix directement dans le champ de saisie à côté du curseur.
Étape 5 :Enregistrez les paramètres
Après avoir choisi la police et la taille correctes, n'oubliez pas de cliquer sur Choisir Bouton dans le coin supérieur droit de la fenêtre.
Une fois de retour dans la fenêtre des paramètres, fermez simplement la fenêtre des paramètres pour enregistrer les paramètres.
Lorsque vous reviendrez au terminal, vous aurez la police et la taille de police modifiées de votre choix.
diplôme
C'est aussi simple et facile de changer la police du terminal et la taille de la police dans le système Ubuntu 20.04 LTS. En suivant simplement les étapes simples de cet article, tout novice Linux peut modifier la taille de la police du terminal dans Ubuntu.