From 3a3bc83b748e7e212a2c0e435785653f74568193 Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 5 Dec 2024 11:31:49 +0000
Subject: [PATCH] jenkins: Try again to get a Kerberos ticket

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
---
 Jenkinsfile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 41419a142..e73aad859 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -419,7 +419,8 @@ pipeline {
 					}
 
 					environment {
-						GNUPGHOME = "${WORKSPACE}/.gnupg"
+						GNUPGHOME  = "${WORKSPACE}/.gnupg"
+						KRB5CCNAME = "${WORKSPACE}/.krb5cc"
 
 						// Our signing key
 						GPG_KEY_ID = "E4D20FA6FAA108D54ABDFC6541836ADF9D5E2AD9"
@@ -494,7 +495,10 @@ pipeline {
 						archiveArtifacts artifacts: "packages/debian/**/*"
 
 						// Fetch a Kerberos ticket
-						//sh "kinit -kV"
+						withCredentials([file(credentialsId: "jenkins.keytab", variable: "KEYTAB")]) {
+							sh 'kinit -kV -t $KEYTAB'
+						}
+
 
 						// XXX This needs to be published on a mirror server somewhere
 					}
-- 
2.39.5