修补字体未显示在 gnome 终端上

Tri*_*yen 11 fonts terminal gnome ubuntu

我在我的 Ubuntu 18.10 机器上安装了来自https://github.com/ryanoasis/nerd-fonts#option-3-install-script的补丁字体“Source Code Pro” 。

我可以看到字体显示在 Fonts 程序中(如 SauceCodePro)。

我想将它设置为 GNOME 终端应用程序的字体(编辑 -> 首选项 -> 自定义字体),但是该字体没有显示。

我试过运行sudo fc-cache -fv ~/.local/share/fonts,以及重新启动我的电脑。我也尝试重新安装gnome-terminal软件包,但没有骰子。

有人对我在这里可以做什么有任何建议吗?

Tri*_*yen 21

感谢@egmont 指向https://askubuntu.com/questions/1046871/nerd-font-not-fond-in-terminal-profile/的链接,我想出了一种方法来解决这个问题,如其中一条评论中所述在那个帖子中:

  • 安装 GNOME 调整
  • 将系统等宽字体设置为“SauceCodePro Mono Regular”
  • 在终端的字体首选项中,我未选中自定义字体选项,即使用系统字体。


小智 7

这是 gnome-terminal 的一个错误

解决方法是使用 dconf 设置 gnome 终端配置文件的字体。

首先,您需要找出您的个人资料的 ID:

dconf dump /org/gnome/terminal/legacy/profiles:/
Run Code Online (Sandbox Code Playgroud)

这将输出您所有配置文件的信息。获取要为其设置字体的配置文件的 ID,它应该看起来像这样:b1dcc9dd-5262-4d8d-a863-c897e6d979b9,然后通过运行以下命令为该终端设置字体:

dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/font  "'<chosen_font_name> <font_size>'"
Run Code Online (Sandbox Code Playgroud)

双引号很重要,我不知道为什么,但你需要双引号你的字体和大小。

例如,我用它来设置一个用 nerd 字体修补的字体,大小为 13,命令是:

dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/font  "'UbuntuMono Nerd Font Mono 13'"
Run Code Online (Sandbox Code Playgroud)

注意use-system-font应该为 false,您可以通过在配置文件选项对话框中勾选“自定义字体”来设置它或通过 dconf 设置它。