J'utilise du mastic pour la connexion à distance sous Linux dans Ubuntu. La taille de la police du terminal est très petite. Comment puis-je augmenter sa taille de police.
Réponse acceptée :
- Configuration du mastic
- Fenêtre
- Apparence
- Paramètres de police
- Police
- Modifier
- Taille :choisissez la taille la plus petite possible, c'est-à-dire 8 pour moi
- Retournez à "Sessions", sélectionnez une "session enregistrée" et cliquez sur "Enregistrer". Conception d'interface horrible !
- https://serverfault.com/questions/12295/how-to-make-putty-settings-persistent
- https://serverfault.com/questions/52068/is-there-a-way-to-permanently-set-the-font-and-window-size-in-putty
J'aimerais pouvoir aller encore plus petit, mais c'est déjà une énorme amélioration.
Testé sur Putty 0.70, Windows 10 local, Ubuntu 16.04 distant.