在 Gnome 终端中使用非等宽字体

Question

我想在 Gnome 终端中使用一种字体，但操作系统无法识别它为等宽字体（我向你保证它是等宽字体）。有没有办法将 Gnome 终端的字体设置为非等宽字体？有问题的字体是 Menlo 为 Powerline 打补丁的字体，来自https://gist.github.com/qrush/1595572。

我在 GNOME 终端 3.4.1.1 上。