我想要使用的字体是经过修补的 Inconsolata 字体。我在 ubuntu 17.04 上的 gnome-terminal 中使用它。
在 ubuntu 18.04 上，我无法将其选择为等宽字体。该字体已安装，我可以在 libreoffice 等中选择它，因此它肯定在那里。
我接下来做了什么：我font-manager检查了字体的属性。我注意到“间距”属性显示为“比例”，而不是“等宽”。
我该如何修复这个问题，或者如何将该字体用作终端字体？
答案1
我找到了一个解决方案。该字体被错误地修补，因此无法识别为等宽字体，尽管它是等宽字体。我追溯到今年早些时候下载它的地方，并在 github-issues 部分找到了解决方案：https://github.com/ryanoasis/nerd-fonts/issues/270#issuecomment-394312962
使用 dconf-editor 可以只输入 gnome-terminal 应该使用的字体。