# and depending on the type, setup the tftp server.
# usage: $0 TYPE
-# default distro is the base debian/fedora type. others are fai & arch
+# default distro is the base debian/fedora type. others are fai & arch.
+# for no pxe server, use a no-op like : or true.
set -eE -o pipefail
trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR