-# SSH to an unknown host and print the new known_hosts entry
-function ssh_new {
- local new_known_hosts_file
- new_known_hosts_file="$(mktemp)"
- ssh -o UserKnownHostsFile="$new_known_hosts_file" "$@" echo 'Connection ok'
- cat "$new_known_hosts_file"
- rm -f "$new_known_hosts_file"
-}
-