Add missing space

tianon · tianon · commit c217dfb5de77 · 2025-01-31T10:24:26.000-08:00
diff --git a/Jenkinsfile.deploy b/Jenkinsfile.deploy
@@ -75,7 +75,7 @@ node('put-shared') { ansiColor('xterm') {
 		}
 		stage('Filter') {
 			// using the previous successful deploy.json, filter the current deploy.json with items already pushed last time
-			sh'''
+			sh '''
 				wget --timeout=5 -qO past-deploy.json "$JOB_URL/lastSuccessfulBuild/artifact/deploy.json"
 				# swap to this touch instead of the wget above to (re)bootstrap
 				#touch past-deploy.json

Original file line number	Diff line number	Diff line change
`@@ -75,7 +75,7 @@ node('put-shared') { ansiColor('xterm') {`
`75`	`75`	`}`
`76`	`76`	`stage('Filter') {`
`77`	`77`	`// using the previous successful deploy.json, filter the current deploy.json with items already pushed last time`
`78`		`- sh'''`
	`78`	`+ sh '''`
`79`	`79`	`wget --timeout=5 -qO past-deploy.json "$JOB_URL/lastSuccessfulBuild/artifact/deploy.json"`
`80`	`80`	`# swap to this touch instead of the wget above to (re)bootstrap`
`81`	`81`	`#touch past-deploy.json`