automated terminal push

Jenkinsfile

@@ -151,7 +151,7 @@ pipeline {
       }
     }
     
-    stage('Publish')
+    stage('Publish') {
       steps {
         script {
           docker.image(env.BUILD_IMAGE).inside('-e HOME=/tmp') {