this post was submitted on 07 Dec 2025
130 points (99.2% liked)
Linux
10508 readers
1344 users here now
A community for everything relating to the GNU/Linux operating system (except the memes!)
Also, check out:
Original icon base courtesy of lewing@isc.tamu.edu and The GIMP
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
This made me remember that one time several years ago when I was wondering if there was any way to change that font and learned there was some sort of service that allowed you to do that in boot time, but the downside was that there was some sort of what it's known at frontend web development as "FOUT" (flash of unstyled text) and you could avoid that by converting your .pcf font to C code and patch it into the kernel code, but at that point I gave up.