Eu tenho uma fonte que gostaria de usar no Terminal do Gnome que o sistema operacional não reconhece como monoespaçada (garanto que sim). Existe alguma maneira de definir fonte do Terminal Gnome para algo que não é monospaced? A fonte em questão é o Menlo corrigido para o Powerline no link .
Estou no Terminal GNOME 3.4.1.1.
Tags gnome-terminal