Korzystam z aplikacji GUI uruchomionej na zdalnym hoście Linux, ale wyświetlam na pulpicie Windows za pomocą serwera XMing, PuTTY z przekazywaniem X11 (i ssh -X
również, co robi SLURM srun
z --pty
opcją).
Ale domyślna czcionka jest nieco za mała. Jak to zwiększyć?
Znalezienie odpowiedzi zajęło mi trochę czasu, więc dodaję ją tutaj dla wszystkich osób wykonujących to samo wyszukiwanie.
--dpi
flagę.