Saya menggunakan aplikasi GUI yang berjalan di host Linux jarak jauh, tetapi menampilkan di desktop Windows saya menggunakan server XMing, Putty dengan penerusan X11, (dan ssh -Xjuga, yang dilakukan oleh SLURM srundengan --ptyopsi).
Tetapi font default agak terlalu kecil. Bagaimana cara meningkatkannya?
Butuh beberapa saat untuk menemukan jawabannya, jadi saya menambahkannya di sini untuk orang lain yang melakukan pencarian yang sama.
--dpibendera.