diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 98fbd62..e153d6c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -46,8 +46,9 @@ pipeline { unstash 'public_html' unstash 'public_css' - withCredentials([file(credentialsId: 'ryuslash.org-deploy-key-2', variable: 'KEY_FILE')]) { - sh 'rsync -e "ssh -p 4511 -i $KEY_FILE" -v -c -r --delete public/ "site@ryuslash.org:public_html/"' + withCredentials([file(credentialsId: 'ryuslash.org-deploy-key-2', variable: 'KEY_FILE'), + file(credentialsId: 'ryuslash-known-hosts', variable: 'KNOWN_HOSTS_FILE')]) { + sh 'rsync -e "ssh -p 4511 -o \"UserKnownHostsFile $KNOWN_HOSTS_FILE\" -i $KEY_FILE" -v -c -r --delete public/ "site@ryuslash.org:public_html/"' } } } |