Ich verwende eine GUI-Anwendung, die auf einem Remote-Linux-Host ausgeführt wird, aber auf meinem Windows-Desktop mithilfe des XMing-Servers PuTTY mit X11-Weiterleitung angezeigt wird (und ssh -Xdies wird auch von SLURMs srunmit --ptyOption durchgeführt).
Die Standardschrift ist jedoch etwas zu klein. Wie kann man es erhöhen?
Es hat eine Weile gedauert, bis ich die Antwort gefunden habe, also füge ich sie hier für alle hinzu, die die gleiche Suche durchführen.
--dpiFlagge.