diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 09d5998..e3a0c59 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -1,12 +1,10 @@ def remote = [:] remote.name = 'remote' -remote.host = 'localhost' -remote.user = 'simon' +remote.host = env.DEPLOY_HOST +remote.user = env.DEPLOY_USER remote.identityFile = '/var/lib/jenkins/.ssh/id_rsa' remote.knownHosts = '/var/lib/jenkins/.ssh/known_hosts' remote.allowAnyHosts = true -remote.retryCount = 3 -remote.retryWaitSec = 3 logLevel = 'FINER' pipeline {