diff --git a/Jenkinsfile b/Jenkinsfile index 3edf690..d3043e2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -181,14 +181,14 @@ EOF sshPut remote: remote, from: "${env.DEB_PATH_RISCV64}", into: "/home/user/repo/debs/" echo "Running repository update commands via sshCommand..." - sshCommand remote: remote, command: """ + sshCommand remote: remote, command: ''' export DEBIAN_FRONTEND=noninteractive cd /home/user/repo/debs/ for deb in *.deb; do reprepro -b /var/www/deb/debian/ includedeb stable $deb done rm -f *.deb - """ + ''' echo "Deb packages successfully uploaded and added to the repository!" }