From 17d65de5a54b53da948f8ab30ba9a698bb282153 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Mon, 18 Jan 2021 21:44:52 -0500
Subject: [PATCH] Quote the fragment.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index eff3bfc..e7e5914 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -161,7 +161,7 @@ def exec(actions, repo_url, repo_name) {
             git remote -v
             git config user.email "git.gcube@localhost"
             git config user.name "git.gcube"
-            echo $actions > actions.sh
+            echo "${actions}" > actions.sh
             chmod a+x actions.sh
             source actions.sh
             rm actions.sh