approach has been to switch to another terminal window or shell and then killing the process in question. Today I happened to be skimming through the ssh client’s man page and I found a section about escape characters. Suddenly I gazed upon the glory of the disconnect key sequence: a newline followed by
~.. It works like a charm. As always, I thought I should
That's something I've been looking for a while now. I don't know if this is just bad user interface, or if it's awesome that it has a surprise feature.