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) … Continue reading →