Problems with fonts and size in ssh terminal

Implemented

Problems with fonts and size in ssh terminal

avatar

Hi, i've installed RDM in Linux Mint, but i'm trying to change font in
SSH connection, i change font but the terminal not show complete
changes...for instance...the size not change...
On the other hand, it's not posible change font quality....

All Comments (5)

avatar

Hi arrobalabase,

I am able to reproduce the font size issue, I opened a ticket.

About the font quality, I recommend you to use a monospace font. Let me know if that help.

Regards,

Gabriel Dubois

avatar

Hi Gabriel.
Yes, i'm try to use monospace...but still the quality is not very good and as I mentioned, the font size does not change either...in windows SO, we have some many options on fonts as "true type" or "anti-aliasing"...etc....i'm trying all applications that i use with my work because I'm analyzing the option of installing a linux instead of a windows... and one of these applications is RDM!!!

avatar

We have a fix for the font size problem, it should be released next week.

I talked with the developer dedicated to the terminal and he will investigate if these font quality options can be add into RDM Linux.

Gabriel Dubois

avatar

Perfect!! thanks!
Have a good Weekend

avatar

Hi arrobalabase,

We added the "Antialias text" option which you can find in Preferences > Session Type > Terminal.

forum image

This option is currently available in RDM Linux 2022.3.0.4. Let me know if that helps.

Regards,

Gabriel Dubois