J'utilise une application graphique s'exécutant sur un hôte Linux distant, mais affichée sur mon bureau Windows à l'aide du serveur XMing, du transfert PuTTY avec transfert X11 (et ssh -Xégalement effectuée par SLURM srunavec --ptyoption).
Mais la police par défaut est un peu trop petite. Comment l'augmenter?
Il m'a fallu un certain temps pour trouver la réponse, alors je l'ajoute ici à quiconque fait la même recherche.
--dpidrapeau.