alias kssh='ssh -o preferredauthentications=gssapi-with-mic'
alias pssh='ssh -o preferredauthentications=password,keyboard-interactive'
-if [ -z "$OLDSOLARIS" -a -z "$OLDREDHAT" ]; then
- if tty -s; then
+unalias kinit 2>/dev/null
+if [ 1 = 0 -a -z "$OLDSOLARIS" -a -z "$OLDREDHAT" ]; then
+ if [ -t 0 ]; then
+ # Canonicalise the cache name.
+ if [ -n "$KRB5CCNAME" -a "${KRB5CCNAME##*:}" = "$KRB5CCNAME" ]; then
+ export KRB5CCNAME="FILE:$KRB5CCNAME"
+ fi
+
if [ ! "$SUDO_UID" ]; then
if klist -s 2>/dev/null; then
# We already have a ticket cache. Renew it.
fi
unset cache ccname default ng
+function kinit() {
+ local args=
+ local krb5ccname=
+ if [ -n "$KRB5CCNAME" ]; then
+ args="$@"
+ [ "${args/-c /}" = "$args" ] && krb5ccname="-c $KRB5CCNAME"
+ fi
+ ( builtin cd /; exec -c kinit $krb5ccname ${1+"$@"} )
+}