Was previously quietly failing during install because
/usr/local/bin/domtool-slave cannot be overwritten while it is
running.
HOSTS_SERVER="fritz"
# todo: outpost (needs kerberos auth)
HOSTS_SERVER="fritz"
# todo: outpost (needs kerberos auth)
-HOSTS_SLAVE="fritz deleuze navajos bog hopper outpost"
+HOSTS_SLAVE="deleuze navajos bog hopper outpost"
for master in $HOSTS_SERVER;
do
for master in $HOSTS_SERVER;
do
if [ "$1" = "--server" ]; then
echo "Installing Server"
if [ "$1" = "--server" ]; then
echo "Installing Server"
- sudo make install_server
+ sudo make install_serverslave
domtool-doc -basis -out /afs/hcoop.net/user/h/hc/hcoop/public_html/domtool
fi
domtool-doc -basis -out /afs/hcoop.net/user/h/hc/hcoop/public_html/domtool
fi