I frequently ssh into my box at home from school, but usually when I change classes and my computer suspends, the pipe will be broken. However, ssh simply locks up – Ctrl+c, Ctrl+z and Ctrl+d have no effect.
It's annoying to have to restart my terminal, and even more annoying to have to close and re-create a new screen window.
So my question, is there an easy way to make ssh die properly (i.e. when the pipe fails "normally" it will exit with a message about a broken pipe)? Or do I have to figure out what the PID is and manually kill it?