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/的链接,我想出了一种方法来解决这个问题,如其中一条评论中所述在那个帖子中:
小智 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 设置它。
| 归档时间: |
|
| 查看次数: |
9447 次 |
| 最近记录: |