Используйте немоноширинный шрифт с Gnome Terminal

1

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

Я на терминале GNOME 3.4.1.1.

Зак Латта
источник
1
Какую версию Gnome Terminal вы используете? Я только что проверил это в версии 2.16.0 на RHEL5, и у меня нет проблем, позволяя мне выбрать пропорциональный шрифт. (Конечно, он отображает выбранный таким образом шрифт, как если бы он был моноширинным, но не отказывается перечислять пропорциональные шрифты и не позволяет их выбирать.)
Аарон Миллер
@AaronMiller: я должен был упомянуть это. Я на 3.4.1.1.
Зак Латта