La modification de cette commande entraînera le rechargement de la page.
Modifier l’apparence des fenêtres Terminal
Vous pouvez modifier la couleur, la taille et le style de police, le style de curseur et d’autres éléments de la fenêtre de Terminal.
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Dans la liste Profils à gauche, sélectionnez un profil.
Cliquez sur Texte.
Ajustez les réglages comme vous le souhaitez.