From 965ed1aa061d1f2303eecfdfb55a6d6887979e12 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sun, 17 Jan 2021 22:23:27 -0500
Subject: [PATCH] Echo the fragment.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2fe5425..6952a61 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -156,7 +156,7 @@ def exec(actions, repo_url, repo_name) {
         withCredentials([usernamePassword(credentialsId: '88b54962-1c0e-49cb-8155-22276860f346', passwordVariable: 'GIT_PASSWORD', usernameVariable: 'GIT_USERNAME')]) {
             def repository = repo_url.replaceFirst(".+://", "https://${GIT_USERNAME}:${GIT_PASSWORD}@")
             sh("""
-            cat $actions > actions.sh
+            echo $actions > actions.sh
             chmod a+x actions.sh
             source actions.sh
             rm actions.sh