Changer la taille de la police Ubuntu Terminal

La plupart des utilisateurs de Linux passent une bonne partie de temps à utiliser le terminal à diverses fins, qu'il s'agisse d'installer de nouveaux logiciels, de maintenir leur système, de vérifier les détails du matériel et de nombreuses autres activités. Donc, il est logique de vouloir personnaliser le terminal pour lui donner une sensation plus personnelle.

Dans cet article, nous examinerons comment vous pouvez modifier la police et la taille de la police du terminal, en plus de quelques personnalisations plus cool.

Étape 1: Ouvrez une nouvelle fenêtre de terminal

La première étape du processus consiste à ouvrir une nouvelle fenêtre de terminal, d'où vous pouvez apporter les modifications nécessaires. Alors, ouvrez-le depuis la barre latérale Ubuntu ou appuyez sur Ctrl + Alt + T sur votre clavier.

Étape 2: Allez aux préférences

L'étape suivante consiste à accéder à l'option Préférences dans le terminal.

Ici, vous pouvez configurer votre configuration personnelle pour le terminal. Il est important de garder à l'esprit que ces préférences sont principalement limitées à l'apparition du terminal, pas à la fonctionnalité. Ainsi, vous ne devriez pas vous inquiéter de modifier par erreur certains paramètres fonctionnels de la ligne de commande car ce n'est pas le cas ici. Grâce aux préférences, vous pouvez créer un nouveau profil, qui contiendra et se souviendra de toutes vos préférences et les chargera à chaque fois que vous l'utilisez.

Allez-y et cliquez avec le bouton droit n'importe où sur le terminal et un menu déroulant devrait apparaître. Sélectionnez l'option Préférences dans le menu. Cela peut également être fait via le bouton de lignes à trois parallèles en haut à droite de l'écran.

Étape 3: Créez un profil

Avant de configurer nos préférences et de modifier les paramètres de police, nous devons d'abord créer un nouveau profil. Cliquez sur le bouton + juste à côté de l'onglet Profils pour commencer.

Ensuite, vous serez invité à saisir un nom pour le profil. Chaque nouveau profil créé est d'abord donné les paramètres par défaut, comme vous pouvez le voir dans la boîte de dialogue. Cependant, une fois que nous aurons le profil prêt, nous changerons ces paramètres à notre propre goût.

Étape 4: Modifier les paramètres de police

Avec notre nouveau profil en cours d'exécution, il est temps de mettre en place nos préférences concernant la police terminale. La première étape consiste à cocher la case juste à côté de l'option de police personnalisée. Cela nous permettra de sélectionner toute police de notre choix et de régler sa taille.

Comme vous pouvez le voir, la police par défaut est régulière monospace avec la taille 12. Cependant, nous pouvons changer aussi facilement. Cliquez sur le nom de la police et vous verrez une liste de polices apparaître. Il existe de nombreuses options à choisir, et vous pouvez essayer celle que vous aimez le plus. Si vous cherchez quelque chose de spécifique, n'hésitez pas à le taper et à le rechercher dans la zone de recherche. Il y a aussi une taille de police en bas en bas avec laquelle vous pouvez jouer. Une fois que vous avez décidé, cliquez sur le bouton Sélectionner dans le coin supérieur droit et allez vérifier à quoi ressemble votre police dans le terminal.

Étape 5: Sélectionnez votre profil

Maintenant que vous avez tous terminé avec votre configuration de police, la dernière étape consiste à sélectionner le profil que vous avez créé. Vous pouvez le faire en cliquant sur le bouton de petite flèche à côté du nom du profil et en sélectionnant SET comme défaut. Avec ça, tu es prêt à partir. Redémarrez votre terminal et vos préférences de police doivent être appliquées.

Modifications supplémentaires

Maintenant que nous avons traité de la «viande» de la question, jetons un coup d'œil à des modifications supplémentaires que nous pouvons apporter au terminal à nos besoins personnels.

Revenez au menu Préférences et vous verrez plus d'options de personnalisation juste à côté de l'onglet texte. Ces options sont les couleurs, le défilement, la commande et la compatibilité. Dans cette section, nous discuterons brièvement de certaines de ces options.

Commençons par les couleurs. Il y a une case à cocher juste sous le texte et la couleur d'arrière-plan. Pour activer la configuration de l'utilisateur, vous devez désélectionner l'option «Utiliser les couleurs du thème système». Ensuite, nous avons beaucoup d'options à explorer. Vous pouvez essayer des schémas intégrés, un violon avec l'arrière-plan et les couleurs de texte, sélectionner une palette de votre choix, et plus. N'hésitez pas à jouer avec ces options car il y a certainement beaucoup à explorer ici.

Maintenant que nous avons fini de définir nos préférences, jetons un coup d'œil à quoi ressemblent les résultats.

Enfin, nous explorerons l'onglet de défilement. Ici, vous pouvez sélectionner si vous souhaitez afficher la barre de défilement à côté du texte ou faire défiler lorsque la sortie est affichée. De plus, vous pouvez également modifier si vous souhaitez désactiver le défilement sur Keystroke et définir une limite numérique pour faire défiler vers l'arrière.

Conclusion

Dans ce tutoriel, nous avons appris comment vous pouvez changer votre police et la taille de la police du texte dans votre terminal. Cela peut être un grand soulagement pour quelqu'un qui est un utilisateur de terminal passionné et régulier, car la personnalisation personnelle rend tout plus intime et pratique.