diff --git a/Jenkinsfile b/Jenkinsfile index 72be7091..5b7f26b2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -59,18 +59,17 @@ pipeline { withCredentials([sshUserPrivateKey( credentialsId: 'jenkins-agent', usernameVariable: 'user', - keyFileVariable: 'identityFile' + keyFileVariable: 'keyFile' )]) { script { remote.user = user - //remote.identityFile = identityFile - remote.identityFile = 'id_ed25519' + remote.identity = keyFile remote.name = 'reprepro' remote.host = 'reprepro.reprepro' remote.allowAnyHosts = true remote.logLevel = 'FINEST' } - echo "$user $identityFile" + echo "$user $keyFile" sshPut([ remote: remote, from: "$debFile",