Super User is a question and answer site for computer enthusiasts and power users. Join them; it only takes a minute:

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 https://gist.github.com/qrush/1595572.

I'm on GNOME Terminal 3.4.1.1.

share|improve this question
1  
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 3.4.1.1. – Zach Latta May 31 '13 at 20:17

You must log in to answer this question.

Browse other questions tagged .