jenkins: Try signing the Release files

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 4a9769f76bb00951bccfde53ddad6bce51879675..8f4dacd163da0c6b9d16620ec047630b3efed71b 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -430,7 +430,6 @@ pipeline {
                                                sh """
                                                        mkdir -p $GNUPGHOME
                                                        chmod 700 $GNUPGHOME
-                                                       printenv
                                                """
 
                                                // Import the GPG key
@@ -461,6 +460,25 @@ pipeline {
                                                                                apt-ftparchive release packages/debian/dists/$distro
                                                                        ) >> packages/debian/dists/$distro/Release
                                                                """
+
+                                                               // Create InRelease
+                                                               sh """
+                                                                       gpg --batch \
+                                                                               --clearsign \
+                                                                               --local-user ${env.GPG_KEY_ID} \
+                                                                               --output packages/debian/dists/$distro/InRelease \
+                                                                               packages/debian/dists/$distro/Release
+                                                               """
+
+                                                               // Create Release.gpg
+                                                               sh """
+                                                                       gpg --batch \
+                                                                               --armor \
+                                                                               --detach-sign \
+                                                                               --local-user ${env.GPG_KEY_ID} \
+                                                                               --output packages/debian/dists/$distro/Release.gpg \
+                                                                               packages/debian/dists/$distro/Release
+                                                               """
                                                        }
                                                }