17 Apr
2026
17 Apr
'26
10:29 a.m.
On Thu, Apr 16, 2026 at 12:38:31AM -0700, Ron via Talk wrote:
https://blog.hofstede.it/shell-tricks-that-actually-make-life-easier-and-sav...
I see it mentiens 'reset' for fixing a messed up terminal. In my experience sometimes that isn't enough. I have found that more effective is: cat <esc>c<ctrl-d><ctrl-d> ie you send: reset RIS Reset terminal to initial state ^[c then end the cat using end of file. I guess it could be written as ^[c^d^d for people that like that syntax. -- Len Sorensen