POSTIN

/bin/sh

if [ -f /etc/krb5.conf ] ; then
	echo "We need a fresh krb5.conf, moving old krb5.conf to /etc/krb5.conf.save.krb5-fermi-krb5.conf.4.8.1"
	mv /etc/krb5.conf /etc/krb5.conf.save.krb5-fermi-krb5.conf.4.8.1
fi
/usr/krb5/config/config-krb5.conf 4.8