Originally Posted by arizonagroovejet
Find the pid for the shell by examining the output of ps and then kill that process.
Thanks for the advice, but that actually was one of my first attempts. The command
does not show any process associated to the frozen terminal. However, if I switch to it I can see this:
The cursor is not blinking.
The terminal seems to be just frozen in such a state, not responding to any input from the keyboard. That's why I'm looking for a way to reset it.
Of course I'd also like to know why an exit command produces such an effect, but that's another question...