2 export KRB5CCNAME=/tmp/krb5cc_$(id -u).root
3 export KRBTKFILE=/tmp/tkt$(id -u).root
8 exec kinit -F -5 -l15m -r15m $USER/root@ATHENA.MIT.EDU "$@"
14 klist -s || krbroot init || exit 1;
15 HOST="`hostname` (krbroot)" pagsh -c $SHELL
18 klist -s || krbroot init || exit 1;
20 exec ssh -k -l root "$@"
23 klist -s || krbroot init || exit 1;
24 exec rlogin -x -l root $2
28 echo "Usage: $0 init" >&2
29 echo " $0 destroy" >&2
31 echo " $0 ssh [args]" >&2
32 echo " $0 rlogin [args]" >&2