如何更改 shell 的默认字体?这与更改 xTerm 的字体相同吗?我正在使用 JeOS,想更改字体,因为我所做的所有工作都在终端中。
其次,我更愿意更改 XTerm 的字体,而不是 bash 的字体。我计划改用 zsh 或 fishshell。
有没有关于 shell 的推荐?
答案1
Shell 没有字体,但它们运行的终端可能有。
更改 xTerm 的字体。
答案2
首先,你必须确定你的终端是什么类型。发出“echo $TERM”,如果是
vt100、vt200、ansi 或类似
您必须更改您使用的终端仿真软件(putty、hyperterm 等等)中的字体。
xterm 或 aixterm
按住 ALT 键(或 CTRL 键?不确定,试试看)并在窗口中单击鼠标右键,然后从出现的菜单中选择不同的大小。要更改菜单项选择的字体(如果您不喜欢它们),请在“$HOME/.Xdefaults”文件中输入相应的 X 资源字符串。
下面是一个示例,它将添加带有德语变音符号(“Umlauts”)的字体到 XTerm 字体菜单并将其标记为“ISO8859-Charset”:
代码:
XTerm*VT100*font1: -ibm--medium-r-medium--20-14-100-100-c-90-iso8859-1
XTerm*fontMenu*font1*Label: ISO8859-Charset
终端
只需从菜单中选择“选项”即可。要使更改持久,请更改 CDE 的首选项。