#! /bin/sh
echo "Updating krb5.conf"
KRB5CONF=/etc/krb5.conf
KRB5CONFBACK="$KRB5CONF-ORIG"
if [ ! -f "$KRB5CONFBACK" ]; then
    echo "Saving present $KRB5CONF"
    sudo /bin/mv "$KRB5CONF" "$KRB5CONFBACK"
fi
echo "Modifying $KRB5CONF"
KRB5SRC="/csciloc/ubuntu/Images/UNCACSCI-ETC-krb5.conf"
sudo /bin/cp "$KRB5SRC" "$KRB5CONF"
sudo /csciloc/ubuntu/Update/kerbkeys
