2 # Copyright (C) 2016 Ian Kelling
3 # This program is under GPL v. 3 or later, see <http://www.gnu.org/licenses/>
5 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
9 if [[ ! $host ||
$host == -h ]]; then
10 echo "$0: error: expected 1 arg of hostname"
15 ssh $host sudo reboot ||
:
17 while ! ssh $host :; do