From 8f33a8a4c99263584b1a5627fabfba7a2ea7658b Mon Sep 17 00:00:00 2001
From: Benjamin Bohard <bbohard@cadoles.com>
Date: Mon, 26 Sep 2022 08:44:28 +0200
Subject: [PATCH] =?UTF-8?q?Configurer=20nom=20et=20adresse=20de=20l?=
 =?UTF-8?q?=E2=80=99utilisateur=20pour=20les=20interactions=20avec=20les?=
 =?UTF-8?q?=20d=C3=A9p=C3=B4ts=20git?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 vars/compileDoc.groovy | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/vars/compileDoc.groovy b/vars/compileDoc.groovy
index d566ff5..e499aa5 100644
--- a/vars/compileDoc.groovy
+++ b/vars/compileDoc.groovy
@@ -1,6 +1,8 @@
 // Pipeline de construction des images Docker des services Zéphir
 def call() {
     def buildTag
+    def gitEmail = params.gitEmail ? params.gitEmail : 'jenkins@cadoles.com'
+    def gitUsername = params.gitUsername ? params.gitUsername : 'Jenkins'
 
     pipeline {
 
@@ -106,6 +108,9 @@ def call() {
                                     def projectName = env.project_name
                                     def destFolder = "${projectName}/${docProfile}"
                                     def result = tamarin.compileDoc(env.buildProfile)
+				    if(result.size() == 0) {
+				    	error('No artefact produced')
+				    }
                                     println(result)
                                     if(docProfile != 'draft') {
                                         def publicFolder = "${destFolder}/latest/public"
@@ -160,6 +165,10 @@ def call() {
                                     sh(script: "chmod +x ./sshForJenkins.sh")
                                     if (docProfile != 'draft') { 
                                         withEnv(["GIT_SSH=./sshForJenkins.sh"]) {
+                                            // Add git username/email
+                                            sh("git config user.email '${gitEmail}'")
+                                            sh("git config user.username '${gitUsername}'")
+
                                             sh """
                                             git tag -am "paquet" release/v${dateTag}
                                             """
@@ -169,6 +178,10 @@ def call() {
                                         }
                                     }
                                     withEnv(["GIT_SSH=./sshForJenkins.sh"]) {
+                                        // Add git username/email
+                                        sh("git config user.email '${gitEmail}'")
+                                        sh("git config user.username '${gitUsername}'")
+
                                         sh """
                                         git tag -d ${env.ref}
                                         git push origin :${env.ref}