是否可以更改终端字体?
我想更改终端中的字体,我该如何实现?
Bash终端:
菜单, 编辑 => 配置文件首选项 => 常规选项卡; 取消选中使用系统固定宽度字体 ,然后选择所需的字体。
对于一般的xterm终端,你需要创建一个文件~/.Xresources
,并为其添加设置,如xterm*font: Sublime\ Text\ 2-12
for 12 point(这是猜测,我不知道是否这完全正确)。
虽然,你没有提到你正在使用什么字体或你指的是什么终端,但我在gnome-terminal中给出了改变字体的一般答案。
我有两种方法可以做到这一点,尽管两者相对较近
正式的方式
- 按CTRL + ATL + T打开终端。
- 然后从
Menu
→Edit
→Profiles
转到。 在配置文件编辑窗口中,单击“Edit
按钮。 - 然后在“
General
选项卡中,取消选中“Use the system fixed width font
,然后从下拉菜单中选择所需的字体
更轻松的方式
- 按CTRL + ATL + T打开终端。
- 右键单击终端,从弹出的弹出菜单中,转到
Profiles
Profile Preferences
→“Profile Preferences
- 然后在“
General
选项卡中,取消选中“Use the system fixed width font
,然后从下拉菜单中选择所需的字体。
我给出两个截图如下:
对于带有GNOME终端3.20.2的Ubuntu 17.04,选项有点不同。 从菜单中,转到编辑 – >配置文件首选项 – >常规选项卡。 在“ Text Appearance section
,选择“ Custom font
选项,单击所选字体,然后减小新窗口底部的字体大小编号。