diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-03-03 12:49:21 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-03-03 12:49:21 +0100 |
| commit | 37bc59a5cf684554557fac0d88eee890ea5315bf (patch) | |
| tree | 337dc28c04a86ae275a5a0a2bea63eefea45240a | |
| parent | 549c0f1fe0b63b3c5d9555952d89456238f48e62 (diff) | |
| download | jenkins.debian.net-37bc59a5cf684554557fac0d88eee890ea5315bf.tar.xz | |
reproducible: update new mainview correctly, include info header als in suite_stats pages
| -rwxr-xr-x | bin/reproducible_common.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index bc7f424e..1f90ca05 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -140,10 +140,10 @@ write_page_header() { write_page "<link href=\"/userContent/static/style.css\" type=\"text/css\" rel=\"stylesheet\" />" write_page "<title>$2</title></head>" write_page "<body><header><h2>$2</h2>" - if [ "$1" = "$MAINVIEW" ] ; then + if [ "$1" = "$MAINVIEW" ] || [ "$1" = "suite_stats" ] ; then write_page "<p>These pages contain results obtained from <a href=\"$JENKINS_URL/view/reproducible\">several jobs running on jenkins.debian.net</a>. Thanks to <a href=\"https://www.profitbricks.com\">Profitbricks</a> for donating the virtual machine this is running on!</p>" fi - if [ "${1:0:3}" = "all" ] || [ "$1" = "dd-list" ] || [ "$1" = "stats" ] ; then + if [ "${1:0:3}" = "all" ] || [ "$1" = "dd-list" ] || [ "$1" = "stats" ] || [ "$1" = "suite_stats" ] ; then write_page "<p>$COUNT_TOTAL packages have been attempted to be build so far, that's $PERCENT_TOTAL% of $AMOUNT source packages in Debian $SUITE currently. Out of these, $COUNT_GOOD packages ($PERCENT_GOOD%) <a href=\"https://wiki.debian.org/ReproducibleBuilds\">could be built reproducible!</a>" write_page " Join <code>#debian-reproducible</code> on OFTC to get support for making sure your packages build reproducibly too!" write_page "</p>" @@ -196,12 +196,12 @@ write_page_meta_sign() { publish_page() { if [ "$1" = "" ] ; then + if [ "$VIEW" = "$MAINVIEW" ] ; then + cp $PAGE /var/lib/jenkins/userContent/reproducible.html + fi TARGET=$PAGE else TARGET=$1/$PAGE - if [ "$1" = "sid" ] && [ "$VIEW" = "$MAINVIEW" ] ; then - cp $PAGE /var/lib/jenkins/userContent/reproducible.html - fi fi cp $PAGE /var/lib/jenkins/userContent/$TARGET rm $PAGE |