Taille de la police avec X11 Transfert trop petit
J'utilise une application d'interface graphique exécutée sur un hôte Linux distant, mais affichée sur mon bureau Windows à l'aide du serveur XMing, PUTTY avec le transfert X11 (et ssh -X aussi, ce qui est fait par Slurm's srun avec --pty option).
Mais la police par défaut est un peu trop petite. Comment l'augmenter?
Il m'a fallu un moment pour trouver la réponse, alors je l'ajoute ici pour que quiconque fait la même recherche.
Comme suggéré ici , en passant le -dpi 108 L'argument de ligne de commande au XMing Server fonctionne généralement (la valeur par défaut est 96).