[ale] [please disregard former message] ^H or ^? shell problems

[Dow Hurst]

Another solution is to issue the command:

reset

at the prompt.  That will access the terminfo file for your terminal and
reset your terminal's settings back to normal.
Dow