是否可以更改终端字体?

我想更改终端中的字体,我该如何实现?

Bash终端:

菜单, 编辑 => 配置文件首选项 => 常规选项卡; 取消选中使用系统固定宽度字体 ,然后选择所需的字体。

对于一般的xterm终端,你需要创建一个文件~/.Xresources ,并为其添加设置,如xterm*font: Sublime\ Text\ 2-12 for 12 point(这是猜测,我不知道是否这完全正确)。

虽然,你没有提到你正在使用什么字体或你指的是什么终端,但我在gnome-terminal中给出了改变字体的一般答案。

我有两种方法可以做到这一点,尽管两者相对较近

正式的方式

  • CTRL + ATL + T打开终端。
  • 然后从MenuEditProfiles转到。 在配置文件编辑窗口中,单击“ 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选项,单击所选字体,然后减小新窗口底部的字体大小编号。