We get rid of old krb5.ini files by renaming them; currently a custom shell script is used, but there is a builtin for moving/renaming files. _______________________________________________ kfwdev mailing list kfwdev@mit.edu http://mailman.mit.edu/mailman/listinfo/kfwdev
