Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a font I'd like to use in the Gnome Terminal that the OS doesn't recognize as monospaced (I assure you it is). Is there any way to set Gnome Terminal's font to something that isn't monospaced? The font in question is Menlo patched for Powerline from

I'm on GNOME Terminal

share|improve this question
What version of Gnome Terminal are you using? I've just tested this in version 2.16.0 on RHEL5, and it has no trouble letting me choose a proportional font. (Granted, it renders the font thus chosen as though it were monospaced, but it doesn't refuse to list proportional fonts or allow them to be selected.) – Aaron Miller May 31 '13 at 17:04
@AaronMiller: I should have mentioned that. I'm on – Zach Latta May 31 '13 at 20:17

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.