#!/usr/bin/env bash

PS4=" $ "
set -eux

exec ssh -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null root@172.16.42.1 "$@"