Files
platform/bin/reboot.sh
2019-10-17 16:05:47 +02:00

11 lines
185 B
Bash
Executable File

#!/usr/bin/env bash
TOP="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)/.."
if [ $# = 0 ]; then
echo "usage: reboot.sh cluster "
exit 1
fi
nixops reboot -d $1