jenkins: Try again to get a Kerberos ticket

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/Jenkinsfile b/Jenkinsfile
index 41419a142266384d012c105a37f5386f42664d6d..e73aad859536da62e807be57b764ff9db992d423 100644 (file)
--- 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
                                        }