this should do the deployment job

2023-09-12 10:33:50 +02:00 · 2023-09-12 10:33:50 +02:00 · ab9d5ce242
commit ab9d5ce242
parent 8f59989d6c
1 changed files with 4 additions and 1 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@ -8,7 +8,10 @@ pipeline {
  stages {
    stage('Deployment') {
      steps {
-          sh 'rsync -h'
+        sshagent(credentials: ['documentation-buildfix']) {
+          // Deploy to Apache webserver
+          sh 'rsync -r buildfix@documentation.irs.uni-stuttgart.de:/'
+        }
      }
    }
  }