From K.Scott, Mon Oct 11 11:24:10 1999
If the characters go 'wacky' under linux there are a couple of things
that might fix it.
- echo a control-o. you can do this on command line by typing
'echo ^v ^o' the control-v tells the shell to take the next
character as verbatim with no interpretation. The control-o
actually resets the display.
- 'loadkeys -d' will reload the default key mapping. The
symptoms for this aren't usually wacky displays just keys that
do the wrong things.
- 'setfont' will restore the VGA fonts to the default 8x16 font.