remote/ssh-update-known-hosts

   1 #!/bin/sh -eu
   2 tool=$(readlink -e "${0%/*}/..")
   3 . "$tool"/remote/lib.sh
   4
   5 ssh \
   6  -o CheckHostIP=no \
   7  -o ControlMaster=no \
   8  -o StrictHostKeyChecking=no \
   9  -o UserKnownHostsFile="$tool"/etc/ssh/known_hosts \
  10  -o HashKnownHosts=no \
  11  "$@" \
  12  true