I second this, love its narrow width and compact line height, fits quite a bit more info on the terminal and editor than other fonts.