web-dev-qa-db-fra.com

Définir la taille de police par défaut dans le terminal

Je viens de me procurer un nouveau moniteur 27 pouces et c'est génial. Je peux voir les choses à distance. Cependant, lorsque je lance le terminal, je ne peux pas lire les choses à distance. Et je veux augmenter la taille de police par défaut (et peut-être aussi la famille de polices et le poids de polices) à 3em. Où puis-je faire ça? Je n'ai rien trouvé de semblable sous Edition> Préférences de profil. La coquille, c'est l'unité.

3
Donato

Sous Edition -> Préférences de profil, c'est où il devrait être.

Peut-être que vous n'avez pas remarqué la case à cocher?

enter image description here

Décochez le Use the system fixed width font et vous pourrez changer la taille:

enter image description here

5
Tim