Augmenter la taille de la police du mastic
J'utilise PuTTY pour la connexion à distance sous Linux sous Ubuntu. La taille de la police du terminal est très petite. Comment puis-je augmenter sa taille de police?.
Avez-vous cherché du tout? Les deux liens suivants semblent l'expliquer.
http://www.thegeekstuff.com/2009/07/10-practical-PuTTY-tips-and-tricks-you-probably-didnt-know
- Configuration de mastic
- La fenêtre
- Apparence
- Paramètres de police
- Police de caractère
- Changement
- Taille: choisissez le plus petit possible, qui est 8 pour moi
- Retournez à "Sessions", sélectionnez une "session enregistrée" et cliquez sur "Enregistrer": https://serverfault.com/questions/12295/how-to-make-PuTTY-settings-persistent Terrible conception de l'interface!
J'aimerais pouvoir encore un peu diminuer, mais c'est déjà une énorme amélioration.
Testé sur PuTTY 0.70, Windows 10 local, Ubuntu 16.04 à distance.