diff --git a/Jenkinsfile b/Jenkinsfile index 15b90cc..853f27f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -115,15 +115,22 @@ print('versions.json updated: symbolicator = ${env.IMAGE_VERSION}') keyFileVariable: 'GIT_SSH_KEY' )]) { script { - bat """ - chcp 65001 >nul - set "GIT_SSH_COMMAND=ssh -i %GIT_SSH_KEY% -o IdentitiesOnly=yes" - git config user.email "jenkins@xuqm.com" - git config user.name "Jenkins CI" - git add ${env.VERSION_FILE} - git diff --cached --quiet || git commit -m "ci: bump ${env.IMAGE_NAME} to ${env.IMAGE_VERSION} [skip ci]" - git push origin HEAD:main - """ + writeFile file: 'git-ssh.cmd', + text: '@echo off\r\nssh -i "%GIT_SSH_KEY%" -o IdentitiesOnly=yes %*\r\n' + try { + withEnv(["GIT_SSH=${pwd()}\\git-ssh.cmd"]) { + bat """ + chcp 65001 >nul + git config user.email "jenkins@xuqm.com" + git config user.name "Jenkins CI" + git add ${env.VERSION_FILE} + git diff --cached --quiet || git commit -m "ci: bump ${env.IMAGE_NAME} to ${env.IMAGE_VERSION} [skip ci]" + git push origin HEAD:main + """ + } + } finally { + bat 'if exist git-ssh.cmd del /q git-ssh.cmd' + } } } }