+
+set -euf
+
+usage="Usage: $0 [-i instance] [-p principal] [-a addrend] subcommand [args]"
+
+ATHENA_USER=${ATHENA_USER:-$USER}
+principal="$ATHENA_USER/root@ATHENA.MIT.EDU"
+addrend="root"
+while getopts "i:p:a:h" options; do
+ case $options in
+ i ) addrend="$OPTARG"; principal="$ATHENA_USER/$OPTARG@ATHENA.MIT.EDU";;
+ p ) principal="$OPTARG";;
+ a ) addrend="$OPTARG";;
+ h ) echo "$usage"; exit 0;;
+ \? ) echo "$usage"; exit 1;;
+ * ) echo "$usage"; exit 1;;
+ esac
+done
+shift `expr $OPTIND - 1 || :`
+
+export KRB5CCNAME="/tmp/krb5cc_$(id -u).$addrend"