Mosh cleanup

Note to self

I use the excellent mosh to work remotely from my ipad (together with blink).

Sometime despite all, the connection is lost and cannot be recovered.


that contains

pgrep mosh-server | grep -v $(ps -o ppid --no-headers $$) | xargs kill

deletes all mosh sessions excluding the current oneā€¦ (it uses the parent pid, so it has to be executed in the main shell)



Leave a comment

Comments are moderated. Your email address is neither published nor stored, only an md5 hash of it. Required fields are marked with *