diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-12 17:47:26 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-12 17:57:14 +0200 |
commit | bf740f1577176466c19fb2d67bc5f6daf3b5b124 (patch) | |
tree | a68d209b519cafe5b543ec7e1b6cdfa44bd0564c /bin/reproducible_stats.sh | |
parent | 7d2fa0e0f482a46f21165cb57e4f6169633c9cd7 (diff) | |
download | jenkins.debian.net-bf740f1577176466c19fb2d67bc5f6daf3b5b124.tar.xz |
reproducible: rename function
Diffstat (limited to 'bin/reproducible_stats.sh')
-rwxr-xr-x | bin/reproducible_stats.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index e6083f4d..91ab9444 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -543,7 +543,7 @@ write_page_meta_sign() { write_page "</p>" } -publish_summary() { +publish_page() { cp $PAGE /var/lib/jenkins/userContent/ if [ "$VIEW" = "$MAINVIEW" ] ; then cp $PAGE /var/lib/jenkins/userContent/reproducible.html @@ -608,7 +608,7 @@ for VIEW in $ALLVIEWS ; do write_page "</code></p>" write_page_meta_sign write_page_footer - publish_summary + publish_page done VIEW=notes @@ -628,7 +628,7 @@ fi write_page "<p style=\"font-size:0.9em;\">Notes are stored in <a href=\"https://anonscm.debian.org/cgit/reproducible/notes.git\">notes.git</a>.</p>" write_page_meta_sign write_page_footer -publish_summary +publish_page VIEW=issues PAGE=index_${VIEW}.html @@ -646,7 +646,7 @@ else fi write_page "<p style=\"font-size:0.9em;\">Notes are stored in <a href=\"https://anonscm.debian.org/cgit/reproducible/notes.git\">notes.git</a>.</p>" write_page_footer -publish_summary +publish_page count_packages() { COUNT=${#@} @@ -698,7 +698,7 @@ for STATE in $ALLSTATES ; do write_page write_page_meta_sign write_page_footer - publish_summary + publish_page done VIEW=dd-list @@ -724,6 +724,6 @@ done < $TMPFILE write_page "</pre></p>" rm $TMPFILE write_page_footer -publish_summary +publish_page echo "Enjoy $JENKINS_URL/userContent/reproducible.html" |