I'm using Mac, but I don't know if this matters. Anyway:
- In Terminal, do SSH to a remote host.
- Close lid. (The network connection is cut off at this point).
- Wait. Open lid again.
Some times, the terminal still thinks it's connected to the remote host and the cursor is inanimate.
How can I end the remote connection and regain control over my parent shell? Pressing Ctrl+C does nothing.