When the fonts get messed up in dash (jackpal.androidterm), how do I reset that one?
When printing contents of binary files, special characters can mess up the terminal character set. How can this be reset in the dash shell?
reset is not a bash builtin. It should work the same in
ksh, etc. An alternative to it is
tput is present in android, and
jackpal.androidterm doesn't seem to support any reset escape, like
Maybe I'm wrong about the latter claim -- but the only way I was ever able to reset it was via its "Reset Term" menu command.