#!/bin/bash
set -eu
. ./lib.shs
. machines/$mach/opts.shs
nsenter --wdns=$nethorror_root $namespaces "$@"
