我在我的 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软件包，但没有骰子。
有人对我在这里可以做什么有任何建议吗？