diff --git a/Jenkinsfile b/Jenkinsfile index a321d0a0..fefc5c78 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -56,28 +56,28 @@ pipeline { debFile = sh(script: 'ls output/*.deb', returnStdout: true).trim() } - script { - withCredentials([sshUserPrivateKey( - credentialsId: 'jenkins-agent', - usernameVariable: 'user', - keyFileVariable: 'identityFile' - )]) { + withCredentials([sshUserPrivateKey( + credentialsId: 'jenkins-agent', + usernameVariable: 'user', + keyFileVariable: 'identityFile' + )]) { + script { remote.user = user remote.identityFile = identityFile remote.name = 'reprepro' remote.host = 'reprepro.reprepro' remote.allowAnyHosts = true - - sshPut([ - remote: remote, - from: "$debFile", - into: '/tmp' - ]) - sshcommand([ - remote: remote, - command: "sudo -u www-data reprepro -b /reprepro --gnupghome /reprepro/.gnupg includedeb bookworm /tmp/$debFile" - ]) } + sleep 600 // DEBUG + sshPut([ + remote: remote, + from: "$debFile", + into: '/tmp' + ]) + sshcommand([ + remote: remote, + command: "sudo -u www-data reprepro -b /reprepro --gnupghome /reprepro/.gnupg includedeb bookworm /tmp/$debFile" + ]) } } }