Estoy usando una aplicación GUI que se ejecuta en un host Linux remoto, pero que se muestra en mi escritorio de Windows usando el servidor XMing, PuTTY con reenvío X11, (y ssh -X
también, que se realiza mediante SLURM srun
con la --pty
opción).
Pero la fuente predeterminada es un poco pequeña. ¿Cómo aumentarlo?
Me tomó un tiempo encontrar la respuesta, así que la agrego aquí para que cualquier otra persona haga la misma búsqueda.
--dpi
bandera.