我从以下位置安装了修补的字体“Source Code Pro”https://github.com/ryanoasis/nerd-fonts#option-3-install-script在我的 Ubuntu 18.10 盒子上。
我可以看到字体出现在字体程序上(作为 SauceCodePro)。
我想将其设置为 GNOME 终端应用程序的字体(编辑 -> 首选项 -> 自定义字体),但是该字体没有显示。
我尝试运行sudo fc-cache -fv ~/.local/share/fonts
,并重启电脑。我还尝试重新安装该gnome-terminal
软件包,但无济于事。
有人对我可以在这里做什么有什么建议吗?
答案1
感谢@egmont 的链接https://askubuntu.com/questions/1046871/nerd-font-not-fond-in-terminal-profile/,我找到了一种解决这个问题的方法,正如那篇文章中的一条评论中提到的那样:
- 安装 GNOME Tweaks
- 将系统等宽字体设置为“SauceCodePro Mono Regular”
- 在终端的字体首选项中,我保留了自定义字体选项未选中,即使用系统字体。
答案2
这是一个漏洞使用 gnome-terminal。
一种解决方法是使用 dconf 设置 gnome-terminal 配置文件的字体。
首先你需要找出你的个人资料的 ID:
dconf dump /org/gnome/terminal/legacy/profiles:/
这将输出所有配置文件的信息。获取要为其设置字体的配置文件的 ID,它应该看起来像这样:b1dcc9dd-5262-4d8d-a863-c897e6d979b9
,然后通过运行以下命令为该终端设置字体:
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/font "'<chosen_font_name> <font_size>'"
双引号很重要,我不知道为什么,但是你需要双引号你的字体和大小。
例如,我使用它来设置我用大小为 13 的 nerd 字体修补的字体,命令是:
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/font "'UbuntuMono Nerd Font Mono 13'"
注意use-system-font
应该为假,您可以通过在配置文件选项对话框中勾选“自定义字体”来设置它,或者通过 dconf 进行设置。