#!/bin/sh -eu tool=$(readlink -e "${0%/*}/..") . "$tool"/remote/lib.sh ssh \ -o StrictHostKeyChecking=yes \ -o UserKnownHostsFile="$tool"/etc/openssh/known_hosts \ -o HashKnownHosts=no \ "$@"