Update 'Jenkinsfile'

2022-09-16 13:06:48 +02:00 · 2022-09-16 13:06:48 +02:00 · 0d7e1992a7
commit 0d7e1992a7
parent c0f3030190
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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