刚刚安装了 Ubuntu 18.04。无法在 gnome-terminal 中使用 Powerline/Nerd 字体。它们没有显示在字体列表中。（但是字体已安装，并且显示在 Firefox 和 Tilix 的菜单中）。
我刷新了字体缓存，还尝试更改字体的权限（对其进行 chmod 修改）。没用。以前在 17.10 上运行良好。升级到 18.04 后就不行了
答案1
让 Gnome 终端使用不同字体的一种方法是更改系统范围的等宽字体。您可以使用 Gnome Tweak Tool 执行此操作，通过sudo apt install gnome-tweak-tool在终端中执行安装。
