I'm a Systems Reliability and DevOps engineer for Netdata Inc. When not working, I enjoy studying linguistics and history, playing video games, and cooking all kinds of international cuisine.
Droid Sans Mono Dotted. I strongly prefer dotted zeroes and sans-serif monspace without ligatures (I use a wide enough variety of programing languages that I need to know the exact actual characters when I look at something), and Droid Sans has the rather nice benefit that it also covers the handful of natural languages I actually need support for and has a version that works properly with Powerline.
I’ve been looking for some time though for a similar font with better language support...
Droid Sans Mono Dotted. I strongly prefer dotted zeroes and sans-serif monspace without ligatures (I use a wide enough variety of programing languages that I need to know the exact actual characters when I look at something), and Droid Sans has the rather nice benefit that it also covers the handful of natural languages I actually need support for and has a version that works properly with Powerline.
I’ve been looking for some time though for a similar font with better language support...
Droid sans family is classic! Was the font the android used before Roboto, Ilike this one