diff --git a/environments/infra/Jenkinsfile b/environments/infra/Jenkinsfile index 4e6a8ef..41d5741 100644 --- a/environments/infra/Jenkinsfile +++ b/environments/infra/Jenkinsfile @@ -2,17 +2,15 @@ pipeline { agent any stages { - stage('Checkout') { - steps { - git branch: 'main', credentialsId: 'rschneider_gitea.rschneider.hu', url: 'https://gitea.rschneider.hu/rschneider/infra.git' - } - } + stage('Restart') { steps { - sh returnStdout: true, script: ''' - cd environments/infra - bash restart.sh - ''' + sshPublisher(publishers: [sshPublisherDesc(configName: 'infra.1', transfers: [sshTransfer(cleanRemote: false, excludes: '', execCommand: ''' + cd /home/rschneider/infra/ + git pull + cd environments/infra + bash ./restart.sh + ''', execTimeout: 120000, flatten: false, makeEmptyDirs: false, noDefaultExcludes: false, patternSeparator: '[, ]+', remoteDirectory: '//home/rschneider/infra/', remoteDirectorySDF: false, removePrefix: '', sourceFiles: '')], usePromotionTimestamp: false, useWorkspaceInPromotion: false, verbose: false)]) } } }