remote/ssh

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