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