cd $(dirname $(readlink -f "$BASH_SOURCE"))
-faiserver_host=faiserver
# i use faiserver as a dns alias, but ssh key is associated with
# a canonical hostname and we will have ssh warning spam unless we
# use it, so look it up.
-if addr=$(host faiserver); then
- addr=${addr##* }
- if h=$(host $addr); then
- h=${h##* }
- faiserver_host=${h%%.*}
- else
- echo "$0: warning: host \$addr($addr) failed"
- fi
-else
- echo "$0: warning: host faiserver failed"
-fi
+faiserver_host=$(chost faiserver) || faiserver_host=faiserver
ssh root@$faiserver_host rm -rf /srv/fai/config