#!/bin/sh
set -eu
. ./lib.shs
. machines/$mach/opts.shs

nsenter --wdns=$nethorror_root $namespaces "$@"