On startup, is the console font explicitly set by the boot process, and if so, which font is it, please? Or if not, how do I restore something reasonably close to it if I lose it?
I'm asking because I started using a terminal-based screen saver (the old cmatrix screensaver by Chris Allegretta). It comes with its own font, and runs quite well on TC, but when it exits, it doesn't reset the font back to what it was before. If I do something that produces a full screen's worth of output, the bottom line ends up below the lower edge of the monitor, so it seems the line height is wrong. So after using it I'd like to set the font back to normal.
To be clear, this is not in X, so I'm not referring to aterm. This is the console outside the gui.
Thank you.