autossh() {
# Tiny delay after failure in case of connection errors while ! ssh "$@"; do echo Restarting ssh "$@"...; sleep 1; done }
autossh() {