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