lots of updates, server support in progress
[distro-setup] / dsfull
1 #!/bin/bash -l
2 # Copyright (C) 2016 Ian Kelling
3 # This program is under GPL v. 3 or later, see <http://www.gnu.org/licenses/>
4 set -eE -o pipefail
5 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
6
7 host=$1
8
9 if [[ ! $host || $host == -h ]]; then
10 echo "$0: error: expected 1 arg of hostname"
11 exit 1
12 fi
13
14 set -x
15 ssh $host sudo reboot ||:
16 pxe-server fai $host
17 while ! ssh $host :; do
18 sleep 5
19 done
20 dsremote $host