我通过VNC访问我的计算集群。由于本地使用高分辨率监视器，因此终端的字体大小看起来很小，无法使用。因此，我一直在寻找增加字体大小的方法。需要注意的是，由于没有在终端顶部显示任何按钮，因此没有常规的编辑->首选项方式。此外，终端上的右键单击选项似乎已禁用。因此，我正在通过bashrc文件寻求永久性修复。
我尝试了here所述的setfont选项。但是，setfont返回以下错误消息：Couldn't get a file descriptor referring to the console。
此外，我尝试了所有快捷方式here，但唯一有效的快捷方式是最后一个：
printf '\33]50;%s\007' "xft:DejaVu Sans Mono-10"。我在bashrc文件中包含了相同的命令，并且工作正常。另外，我猜示例中的字体不是默认的终端字体，如果有人让我知道它是哪个命令，那就更好了。该选项似乎是用于设置字体大小的临时修复程序。
通过cat /etc/redhat-release的redhat版本是
CentOS Linux release 7.4.1708 (Core)（如果有帮助）。在我的系统条件下，最合适的设置字体大小的方法是什么？