Я використовую програму GUI, що працює на віддаленому хості Linux, але відображається на моєму робочому столі Windows за допомогою сервера XMing, PuTTY з переадресацією X11 (і ssh -Xтакож, що робиться SLURM srunз --ptyопцією).
Але шрифт за замовчуванням трохи замалий. Як її збільшити?
Щоб знайти відповідь, мені знадобилося деякий час, тому я додаю його сюди для всіх, хто здійснює той самий пошук.
--dpiпрапор.