diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-12-18 13:55:58 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-12-18 13:55:58 +0100 |
| commit | f180817ec825980b315ba0ac073ceff2d67a2766 (patch) | |
| tree | 713df0d6be335a35647cfd480b07f6166a703c6d | |
| parent | e0d507dbbf01e50a4df33d57b5e526aad6189be7 (diff) | |
| download | jenkins.debian.net-f180817ec825980b315ba0ac073ceff2d67a2766.tar.xz | |
reproducible archlinux: simple optimisation
| -rwxr-xr-x | bin/reproducible_html_archlinux.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/bin/reproducible_html_archlinux.sh b/bin/reproducible_html_archlinux.sh index 1226581f..cbad37e8 100755 --- a/bin/reproducible_html_archlinux.sh +++ b/bin/reproducible_html_archlinux.sh @@ -58,9 +58,9 @@ for REPOSITORY in $ARCHLINUX_REPOS ; do HTML_TARGET=${HTML_404[0]} EXTRA_REASON="" let NR_404+=1 - if [ ! -z "$(grep 'SSL certificate problem: unable to get local issuer certificate' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then - HTML_TARGET=${HTML_404[1]} - EXTRA_REASON="with SSL certificate problem" + if [ ! -z "$(grep 'FAILED (unknown public key' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then + HTML_TARGET=${HTML_404[6]} + EXTRA_REASON="to verify source with PGP due to unknown public key" elif [ ! -z "$(grep 'The requested URL returned error: 404' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then HTML_TARGET=${HTML_404[3]} EXTRA_REASON="with 404 - file not found" @@ -73,12 +73,12 @@ for REPOSITORY in $ARCHLINUX_REPOS ; do elif [ ! -z "$(grep 'The requested URL returned error: 503' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then HTML_TARGET=${HTML_404[5]} EXTRA_REASON="with 503 - service unavailable" - elif [ ! -z "$(grep 'FAILED (unknown public key' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then - HTML_TARGET=${HTML_404[6]} - EXTRA_REASON="to verify source with PGP due to unknown public key" elif [ ! -z "$(egrep '==> ERROR: One or more PGP signatures could not be verified' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then HTML_TARGET=${HTML_404[7]} EXTRA_REASON="to verify source with PGP signatures" + elif [ ! -z "$(grep 'SSL certificate problem: unable to get local issuer certificate' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then + HTML_TARGET=${HTML_404[1]} + EXTRA_REASON="with SSL certificate problem" fi echo " <img src=\"/userContent/static/weather-severe-alert.png\" alt=\"404 icon\" /> download failed $EXTRA_REASON" >> $HTML_BUFFER elif [ ! -z "$(egrep '==> ERROR: One or more files did not pass the validity check' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then |