Dans cet article, nous allons voir comment changer la police et la taille de police du terminal, avec quelques ajustements plus sympas.
Étape 1 :Ouvrir une nouvelle fenêtre de terminal
La première étape du processus consiste à ouvrir une nouvelle fenêtre de terminal dans laquelle vous pouvez apporter les modifications dont vous avez besoin. Alors ouvrez-le depuis la barre latérale d'Ubuntu ou appuyez sur Ctrl + Alt + T sur votre clavier.
Étape 2 :Accédez aux paramètres
L'étape suivante consiste à accéder à l'option Paramètres dans le terminal.
Ici, vous pouvez configurer votre configuration personnelle pour le terminal. Il est important de noter que ces paramètres sont principalement limités à l'apparence du terminal, et non à la fonctionnalité. Vous ne devriez donc pas vous inquiéter de modifier accidentellement certains paramètres de fonction de ligne de commande, car ce n'est pas le cas ici. Vous pouvez utiliser les paramètres pour créer un nouveau profil qui contient et enregistre tous vos paramètres et les recharge à chaque fois que vous les utilisez.
Allez-y et faites un clic droit n'importe où dans le terminal et un menu déroulant devrait apparaître. Sélectionnez l'option Paramètres dans le menu. Cela peut également être fait en utilisant le bouton avec les trois lignes 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, il vous sera demandé d'entrer un nom pour le profil. Chaque profil nouvellement créé reçoit initialement les paramètres standard, comme vous pouvez le voir dans la boîte de dialogue. Cependant, une fois le profil prêt, nous modifierons ces paramètres à notre guise.
Étape 4 :modifiez les paramètres de police
Avec notre nouveau profil, il est temps de définir les préférences de police de notre terminal. La première étape consiste à cocher la case à côté de l'option Police personnalisée. De cette façon, nous pouvons choisir la police de notre choix et définir sa taille.
Comme vous pouvez le voir, la police Monospace par défaut est Regular avec la taille 12. Nous pouvons cependant facilement changer cela. Cliquez sur le nom de la police et vous verrez une liste de polices. Vous avez le choix entre de nombreuses options et vous pouvez essayer celle qui vous convient le mieux. Si vous recherchez quelque chose en particulier, vous pouvez simplement le saisir et le rechercher dans le champ de recherche. Il y a aussi un paramètre de taille de police en bas avec lequel vous pouvez jouer. Une fois que vous avez pris votre décision, appuyez sur le bouton Sélectionner en haut à droite et voyez à quoi ressemble votre police dans le terminal.
Étape 5 :Sélectionnez votre profil
Une fois que vous avez terminé la configuration de votre police, la dernière étape consiste à sélectionner le profil que vous avez créé. Pour ce faire, cliquez sur le petit bouton fléché à côté du nom du profil et sélectionnez Définir par défaut. Lorsque cela est fait, vous êtes prêt à partir. Redémarrez votre terminal et vos paramètres de police devraient prendre effet.
Modifications supplémentaires
Maintenant que nous avons traité le « cœur » du sujet, examinons d'autres ajustements possibles que nous pouvons apporter à nos besoins personnels au terminal.
Revenez au menu Paramètres 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 en dessous de l'en-tête Texte et couleur d'arrière-plan. Pour activer la configuration utilisateur, vous devez désactiver l'option "Utiliser les couleurs de la conception du système". Ensuite, nous avons une tonne d'options à explorer. Vous pouvez essayer des schémas intégrés, expérimenter avec les couleurs d'arrière-plan et de texte, choisir une palette de votre choix, et bien plus encore. 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, voyons à quoi ressemblent les résultats.
Enfin, nous allons explorer l'onglet Défilement. Ici, vous pouvez choisir d'afficher la barre de défilement à côté du texte ou de faire défiler la sortie. En outre, vous pouvez également modifier si vous souhaitez désactiver le défilement par pression de touche et définir une limite numérique pour le défilement arrière.
diplôme
Dans ce didacticiel, nous avons appris à modifier votre police et la taille de police du texte dans votre terminal. Cela peut être un énorme soulagement pour quelqu'un qui est un utilisateur passionné et régulier du terminal, car la personnalisation rend tout plus convivial et pratique.