I recently compared it once more to others – https://www.programmingfonts.org/ makes it easy to narrow down to your favourites one by one ... JetBrains Mono still wins. :)
https://github.com/be5invis/Iosevka
It takes a day or so to get used to the condensed form factor, but after that you can enjoy much more horizontal space in your terminal windows.
There is one downside: all the other fonts will look bulky :)
You can see an apples-to-apples comparison here:
https://www.programmingfonts.org/#iosevka
(and then put and hold your finger on the last line of text and select another font)
But you are inspiring me to give it another go. Thanks.
They are beautiful fonts and are often updated, too. Clearly a lot care goes into their crafting.
You can probably get the proportions you want if you find a way to tweak the line spacing (also possible by adjusting the `leading` option in `private-build-plans.toml` and rebuilding).
Ubuntu Mono remains undefeated for now for me though.
While there are a few other programming fonts with a very similar quality, for myself JetBrains Mono has a distinctive advantage: it includes a much greater character set than any other good programming font that I have ever tested (DejaVu Sans Mono also has a big character set, but it is definitely uglier), for instance it has a lot of mathematical symbols that I need.
I like using silly fonts, e.g. Comic Sans Mono has been my daily driver for the past year or so, and it's really fun to see the Minecraft fonts and old DOS and VT323 fonts. If anyone's into retro computing, it's worth checking those out, particularly the website link for the IBM VGA 9x16, which has loads and loads more old fonts.
I think I'll try using Monocraft in the shell for a while and see if it works well for me, though I might stick to Comic Sans for actual coding :)