From cf98b10a81e880c6342d4ed9e1aa955aa011f3ae Mon Sep 17 00:00:00 2001 From: Christoph Berg Date: Wed, 15 Jan 2025 15:35:35 +0100 Subject: [PATCH] jenkins-plugin-updates: Shorter output --- jenkins/pgapt-jobs.yaml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/jenkins/pgapt-jobs.yaml b/jenkins/pgapt-jobs.yaml index ebd1719..66e45f7 100644 --- a/jenkins/pgapt-jobs.yaml +++ b/jenkins/pgapt-jobs.yaml @@ -978,12 +978,13 @@ # IdentityFile ~/.ssh/jenkins_ssh_cli - shell: | : https://jengus.postgresql.org/pluginManager/ - curl -f --netrc -X POST --header 'Referer: https://jengus.postgresql.org/pluginManager/checkUpdatesServer' https://jengus.postgresql.org/pluginManager/checkUpdatesServer + curl -sf --netrc -X POST --header 'Referer: https://jengus.postgresql.org/pluginManager/checkUpdatesServer' https://jengus.postgresql.org/pluginManager/checkUpdatesServer ssh jenkins list-plugins > plugins.txt - cat plugins.txt if grep ')$' plugins.txt; then + : : There are pending Jenkins plugin updates : https://jengus.postgresql.org/pluginManager/ + : exit 1 fi publishers: -- 2.39.5