У меня есть шрифт, который я хотел бы использовать в терминале Gnome, который ОС не распознает как моноширинный (уверяю вас, это так). Есть ли способ установить шрифт Gnome Terminal на то, что не является моноширинным? Шрифт, о котором идет речь, - это исправленный Menlo для Powerline с https://gist.github.com/qrush/1595572.
Я на терминале GNOME 3.4.1.1.