Я использую приложение с графическим интерфейсом, работающее на удаленном хосте Linux, но отображаемое на моем рабочем столе Windows с использованием сервера XMing, PuTTY с пересылкой X11 (и также ssh -X , что выполняется srun srun с параметром --pty ).
Но шрифт по умолчанию слишком маленький. Как его увеличить?
Мне потребовалось некоторое время, чтобы найти ответ, поэтому я добавляю его сюда для всех, кто делает такой же поиск.