#!/bin/bash -l
# Copyright (C) 2016 Ian Kelling
# This program is under GPL v. 3 or later, see <http://www.gnu.org/licenses/>
set -eE -o pipefail
trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR

host=$1

if [[ ! $host || $host == -h ]]; then
    echo "$0: error: expected 1 arg of hostname"
    exit 1
fi

set -x
ssh $host sudo reboot ||:
pxe-server fai $host
while ! ssh $host :; do
      sleep 5
done
dsremote $host