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