-# $Id$
alias kssh='ssh -o preferredauthentications=gssapi-with-mic'
alias pssh='ssh -o preferredauthentications=password,keyboard-interactive'
# Try to find an existing cache but only if we are using FILE: caches.
default=$((unset KRB5CCNAME; klist 2>&1) | sed -n 's/.*FILE:\([^)]*\).*/\1/p')
if [ ! -z "$default" ]; then
+ # Check for Exceed onDemand stupidity.
+ if [ "$KRB5CCNAME" = "FILE:" ]; then
+ unset KRB5CCNAME
+ fi
+
# Check for bogus FILE: KRB5CCNAME.
if [ ! -z "$KRB5CCNAME" -a "${KRB5CCNAME##*:}" = "$KRB5CCNAME" ]; then
export KRB5CCNAME="FILE:$KRB5CCNAME"