+
+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
+
+
+ssh root@$faiserver_host rm -rf /srv/fai/config
+scp -r fai/config root@$faiserver_host:/srv/fai