#!/bin/sh
fs flushv $HOME
echo "$HOME flushed"
/bin/athena/fsid -u -a
export KRBTKFILE
for foo in /tmp/tkt*; do
  echo -n "$foo: "
  KRBTKFILE=$foo
  /usr/athena/bin/kdestroy
done
unlog
echo "unlogged"
/bin/rm -f /usr/tmp/*mail*
echo "*mail* auto-saves nuked"