From 72817223cf3dd4a29c88b9d11579dd611777bf48 Mon Sep 17 00:00:00 2001
From: dany <contact@iohub.dev>
Date: Tue, 2 Aug 2022 16:21:20 +0200
Subject: [PATCH] Update 'Jenkinsfile'

---
 Jenkinsfile | 17 +++++++++++------
 1 file changed, 11 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 85c8828..4d628d6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,6 +7,16 @@ remote.allowAnyHosts = true
 remote.agent = false
 remote.logLevel = 'INFO'
 
+def build(text) {
+    sh'''
+    printenv
+    echo $text
+    echo $WORKSPACE
+    ls -al $WORKSPACE
+    find /var/jenkins_home -name "Jenkinsfile"
+    '''
+}
+
 pipeline{
   agent { node{ label'master' }}
   options {
@@ -30,12 +40,7 @@ pipeline{
     stage('Test')
     {
       steps {
-          sh '''
-          printenv
-          echo $WORKSPACE
-          ls -al $WORKSPACE
-          find /var/jenkins_home -name "Jenkinsfile"
-          '''
+         build "Hello world"
       }
     }
     stage('Remote SSH') {