[aliases] kill ssh sockets in case of network failure

.aliases

@@ -13,3 +13,4 @@ alias c='codium'
 alias e='extract'
 # See https://stackoverflow.com/questions/9265172/how-can-i-scrape-a-website-and-store-all-pages-and-assets-locally
 alias webarch='wget -q --show-progress -m -k -K -E -l 7 -t 6 -w 1'
+alias sshsock='for socket in $(find ~/.ssh/sockets/ -type s); do ssh -o ControlPath=$socket -O exit toto 2>/dev/null || rm $socket; done'