#!/usr/bin/env bash
PS4=" $ "
set -eux
exec ssh -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null root@172.16.42.1 "$@"