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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index aa21a93..3ebb518 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -52,7 +52,7 @@ pipeline{
           sh'''
           export -p | tee env.source
           '''
-          writeFile file: 'env.source' text:'printenv'
+          writeFile file: 'env.source', text: 'printenv'
           sshCommand remote: remote, command: '''#! /bin/bash
           set -e
           echo $WORKSPACE