static usb ethnet addresses

[automated-distro-installer] / faiserver-revm

diff --git a/faiserver-revm b/faiserver-revm
index ddd27a20b69e957937f3d1975b6d50383e173716..bb4650eaf32415890171b2c4f8439effaed9fd87 100755 (executable)
--- a/faiserver-revm
+++ b/faiserver-revm
@@ -1,9 +1,8 @@
-#!/bin/bash -l
+#!/bin/bash
+# Copyright (C) 2019 Ian Kelling
+# SPDX-License-Identifier: AGPL-3.0-or-later
 set -x
 
-set -eE -o pipefail
-cleanup() { :; }; _errcatch_cleanup=cleanup
-
 x="$(readlink -f "$BASH_SOURCE")"; source "${x%/*}/bash-trace"
 cd ${x%/*}
 
@@ -23,7 +22,7 @@ case $1 in
     -h|--help) usage ;;
 esac
 
-cleanup() { pxe-server :; }
+err-cleanup() { pxe-server :; }
 ./debian-pxe-preseed -i 10.0.0.1 -u iank -g vda
 
 name=faiserver
@@ -44,7 +43,7 @@ while ! scp $opts faiserver-setup root@faiserver:; do
 done
 
 # note: with a vm, pxe boot is turned off in the bios after it's first reboot.
-cleanup() { :; }
+err-cleanup() { :; }
 ./pxe-server
 
 ssh $opts root@faiserver ./faiserver-setup