Menu
▾
▴
#6 Resetting terminal
If you accidentally cat $BINARY_FILE in a terminal, lots of binary characters are sent. This may well confuse the terminal, causing it to go into top-bit-set-only mode, or otherwise produce lots of rubbish. Doing 'reset' at the shell prompt has no effect - it would be useful if either this worked, and/or there was a menu option to reset the terminal to something sane.
Theo
