2 export KRB5CCNAME=/tmp/krb5cc_$(id -u).root
3 export KRBTKFILE=/dev/null
8 exec kinit -F -5 -l15m $ATHENA_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;
19 HOST="`hostname` (krbroot)" pagsh -c 'exec "$@"' exec "$@"
22 klist -s || krbroot init || exit 1;
24 exec ssh -k -l root "$@"
27 klist -s || krbroot init || exit 1;
28 exec rlogin -x -l root $2
32 echo "Usage: $0 init" >&2
33 echo " $0 destroy" >&2
35 echo " $0 ssh [args]" >&2
36 echo " $0 rlogin [args]" >&2