December 8, 2021 | 2 Comments There are many good fonts, but a few are terrible. In linux, we can force a replacement of a particularly hated font: Comic Sans Terminal sudo vim /etc/fonts/local.conf In this file, this will do it: <?xml version="1.0"?> <!DOCTYPE fontconfig SYSTEM "urn:fontconfig:fonts.dtd"> <fontconfig> <match target="pattern"> <test qual="any" name="family"><string>Comic Sans MS</string></test> <edit name="family" mode="assign" binding="same"><string>Ubuntu</string></edit> </match> </fontconfig> What is happening? As always, the Arch linux wiki has good documentation. What we are doing is matching font family name of “Comic Sans MS” with another: “Ubuntu.” You could change the replacement font, but this one blends well in many debian based system. Go nuke some papyrus next
My personal favorite font for use in terminal is DejaVu Sans Mono, recommended to me by that one CS prof (you know, the one who also wrote the .vimrc for Dvorak). Reply
That’s a good one, but my new favorite family is Fira. Fira”>https://github.com/tonsky/FiraCode“>Fira Code is super great as a terminal/IDE font. Reply