#!/bin/sh
# Run ssh without strict host key checking.

set -eu
exec ssh -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null "$@"