remote/ssh

   1 #!/bin/sh -eux
   2 tool=${0%/*}/..
   3 ssh \
   4  -o StrictHostKeyChecking=yes \
   5  -o UserKnownHostsFile="$tool"/etc/openssh/known_hosts \
   6  -o HashKnownHosts=no \
   7  "$@"