From 420d53684c26ea568836cb12e1d98e8d8c49b6c3 Mon Sep 17 00:00:00 2001
From: Iain Patterson <me@iain.cx>
Date: Thu, 27 Oct 2011 10:51:30 +0100
Subject: [PATCH] Don't eat KRB5CCNAME.

---
 .profile.d/krb5.bashrc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.profile.d/krb5.bashrc b/.profile.d/krb5.bashrc
index 477dc3f..2ca4337 100644
--- 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+"$@"} )
 }
-- 
2.7.4