What fonts are you currently using on your system? Which do you think is best for the terminal or for your desktop environment?
(updates) Ok I think I’m a fan of Ubuntu nerd fonts right now
What fonts are you currently using on your system? Which do you think is best for the terminal or for your desktop environment?
(updates) Ok I think I’m a fan of Ubuntu nerd fonts right now
U001 is my main system font as a clone of Univers. Monospace is Berkeley Mono—it might be paid/proprietary but boy does it look nice & was an upgrade from several years with Iosevka. JuliaMono is its fallback though since I use Unicode with frequency & Berkeley doesn’t cover all the symbols I use.
The important part is if you care anything about your fonts, you won’t destroy them by patching in that uncurated hodgepodge called “Nerd Fonts” clobbering used symbols or the wrought-with-false-positive “coding ligatures” which is not how ligatures are supposed to be used but programmers refuse to demand Unicode support in their languages to fix the problem.
U001 is new to me, so here’s a link for others to look it up.
https://fontlibrary.org/en/font/u001
The license is Aladdin which is kinda predates GPL but allows free usage if you aren’t shipping the font with your own competing paid software.