Whitespace.

[profile.git] / .profile.d / krb5.bashrc

diff --git a/.profile.d/krb5.bashrc b/.profile.d/krb5.bashrc
index a0fdd52..08dfb53 100644 (file)
--- a/.profile.d/krb5.bashrc
+++ b/.profile.d/krb5.bashrc
@@ -1,4 +1,3 @@
-# $Id$
 alias kssh='ssh -o preferredauthentications=gssapi-with-mic'
 alias pssh='ssh -o preferredauthentications=password,keyboard-interactive'
 
@@ -11,6 +10,11 @@ if [ $UID -gt 0 -a -z "$OLDSOLARIS" -a -z "$OLDREDHAT" ]; then
       # 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"