bash: ssh()