just docs

[automated-distro-installer] / faiserver-revm

diff --git a/faiserver-revm b/faiserver-revm
index 2b2864ae4e3e239a1dab8940b55df87fc06dff64..78427231df54960f855e2c15b5738c20488742a8 100755 (executable)
--- a/faiserver-revm
+++ b/faiserver-revm
@@ -1,14 +1,18 @@
 #!/bin/bash -l
+# Usage: faiserver-revm
 # Create a vm which is a fai server.
+#
 # This assumes you've set the dhcp server to make
 # 52:54:00:56:09:f9 be faiserver.
 set -x
 
 set -eE -o pipefail
-trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
+cleanup() { :; }
+trap 'cleanup; echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
 
 cd "${BASH_SOURCE%/*}"
 
+cleanup() { pxe-server :; }
 ./debian-pxe-preseed -i 192.168.1.1 -u ian -g vda
 
 name=faiserver
@@ -28,6 +32,8 @@ while ! scp $opts faiserver-setup root@faiserver:; do
     sleep 5
 done
 
-./pxe-server :
+# note: with a vm, pxe boot is turned off in the bios after it's first reboot.
+cleanup() { :; }
+./pxe-server
 
 ssh $opts root@faiserver ./faiserver-setup