Don't eat KRB5CCNAME.

diff --git a/.profile.d/krb5.bashrc b/.profile.d/krb5.bashrc
index 477dc3f..2ca4337 100644 (file)
--- a/.profile.d/krb5.bashrc
+++ b/.profile.d/krb5.bashrc
@@ -87,5 +87,6 @@ fi
 
 unset cache ccname default ng
 function kinit() {
-  ( builtin cd /; exec -c kinit ${1+"$@"} )
+  [ -n "$KRB5CCNAME" ] && krb5ccname="env KRB5CCNAME=$KRB5CCNAME"
+  ( builtin cd /; exec -c $krb5ccname kinit ${1+"$@"} )
 }