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.
source cleanupMosh.sh
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 *