[prateek_mir]

It is a really good font, however, it just doesn't work for me on terminal & terminal based applications. Somehow I find that there is too little spacing between the lines.

[int_19h]

There's one and only font that truly "works" in terminals IMO, and that's the classic VGA 8x16.

http://int10h.org/oldschool-pc-fonts/fontlist/

[carlesfe]

I'm a fellow user of the VGA font in terminals, it's just so satisfying to use! On text editors I use the default font, though

[kps]

Many terminals have an option to add space between lines.