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 -X
juga, yang dilakukan oleh SLURM srun
dengan --pty
opsi).
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.
--dpi
bendera.