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 -Xrównież, co robi SLURM srunz --ptyopcją).
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.
--dpiflagę.