From dce1cb792e980fd5b7900f63a777d33a5c38e458 Mon Sep 17 00:00:00 2001
From: dany <contact@iohub.dev>
Date: Fri, 16 Sep 2022 13:09:39 +0200
Subject: [PATCH] Update 'Jenkinsfile'

---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3ebb518..04f0db5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -51,8 +51,10 @@ pipeline{
       steps {
           sh'''
           export -p | tee env.source
+          cat <<"EOF" >>env.source
+          printenv
+          "EOF"
           '''
-          writeFile file: 'env.source', text: 'printenv'
           sshCommand remote: remote, command: '''#! /bin/bash
           set -e
           echo $WORKSPACE