Many people equate the word “daemon” with the word “demon”, implying some kind of satanic connection between UNIX and the underworld.
This is an egregious misunderstanding. “Daemon” is actually a much older form of “demon”; daemons have no particular bias towards good or evil, but rather serve to help define a person’s character or personality.
The ancient Greeks’ concept of a “personal daemon” was similar to the modern concept of a “guardian angel”—eudaemonia is the state of being helped or protected by a kindly spirit.
As a rule, UNIX systems seem to be infested with both daemons and demons.
— Unix System Administration Handbook, page 403, by Evi Nemeth.
It is rather easy to change the “graphical” terminal font and size from within a graphical environment such as Gnome:
What happens when you want to change the real TeleTYpe console terminals? Yes! The ones you access with Ctrl-Alt-F1…F6 (tty1 – tty6)! OK, maybe not tty1. The system (usually) assigns that one to the graphical environment but anyway…
Suddenly, it isn’t so obvious how to do it.
So, without further ado, let me introduce you to my version on how to do this rather obscure and mystical process:
Step 1. Verify that the moon is full and that it is a clear night.
Step 2. Verify what font you want to use by visiting /usr/lib/kbd/consolefonts/
I like the Terminus font family (the ones that begin with “ter-“) but you may pick any other.
If you want to try it out before you buy, run sudo setfont *insert the font you want to try out here* without the .psf(u).gz suffix. I.e., for a terminus font size 18, you would use sudo setfont ter-918n
If you want to revert to defaults, just run sudo setfont
Have you picked your favorite already? Good. Let’s move on…
Step 3. Modify /etc/default/grub with your prefered editor. Note that you might need sudo privileges to do this.
We are looking for the line that says
Comment it out and add the following line so it looks like this: