#!/bin/sh
vars()
{
    cat <<EOF
declare -x KRB5_CONFIG="/etc/krb5.conf.athena";
declare -x KRB5CCNAME="/tmp/krb5cc_${UID}.athena";
declare -x KRBTKFILE="/tmp/tkt${UID}.athena";
declare -x AFSCELL="athena.mit.edu";
declare -x HES_DOMAIN="athena.mit.edu";
EOF
}

if [ ${#} -eq 0 ]; then
    vars
else
    eval $(vars)
    exec "$@"
fi