jenkins-plugin-updates: Shorter output

diff --git a/jenkins/pgapt-jobs.yaml b/jenkins/pgapt-jobs.yaml
index ebd17197803e34a984a529b2bec3ff7a4e310ea0..66e45f79e481ceda278cebc85ee05508c3ce4a8e 100644 (file)
--- 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: