Do not write server pubkey to known hosts file
Do not write server pubkey to known hosts file

Server key changes at every reboot, do not write it in ~/.ssh/known_hosts.
Also reformat the function for easier diffs next time.

olive42/dotfiles,olive42/dotfiles