From 0f18b9a804d47d746ef05d47c25062a1e9f50a74 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=BE=90=E5=8B=A4=E6=B0=91?= Date: Mon, 27 Jul 2026 12:55:02 +0800 Subject: [PATCH] ci: quote Windows SSH key paths --- Jenkinsfile | 25 ++++++++++++++++--------- 1 file changed, 16 insertions(+), 9 deletions(-) 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' + } } } }