pushd `dirname $0` ssh -o StrictHostKeyChecking=no -p 22 -i ssh/generated -o UserKnownHostsFile=ssh/hostident -o GlobalKnownHostsFile=ssh/hostident root@localhost popd
