I am using a GUI application running on a remote Linux host, but displaying on my Windows desktop using the XMing server, PuTTY with X11 forwarding, (and ssh -X
as well, which is done by SLURM's srun
with --pty
option).
But the default font is a bit too small. How to increase it?
It took me a while to find the answer, so I'm adding it here for anyone else doing the same search.