# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
-cleanup() { :; }
-set -eE -o pipefail
-trap 'cleanup; echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
+# WARNING: outdated! needs docs and update to debian-stretch
+x="$(readlink -f "$BASH_SOURCE")"; source "${x%/*}/bash-trace"
[[ $EUID == 0 ]] || exec sudo "$BASH_SOURCE" "$@"
mount_dir=$(mktemp -d)
cleanup() { cd; umount -f $mount_dir; }
+_errcatch_cleanup=cleanup
e mount -o users wrt:/mnt/usb $mount_dir
cd /
e umount $mount_dir
-e $src/pxe-server -p plain # my script
+e $src/pxe-server default plain # my script