diff options
author | Valerie R Young <spectranaut@riseup.net> | 2016-07-14 12:03:24 -0400 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-07-24 11:46:02 -0400 |
commit | a7f7ecc84d803f1d3adf4e9f7babc01fe6de9199 (patch) | |
tree | ac47ea04c4d775629eea7935dc0e634cb7b0604b /bin/reproducible_common.sh | |
parent | 1dea20a0d5081e8fa1f864e82977dc9d365a8565 (diff) | |
download | jenkins.debian.net-a7f7ecc84d803f1d3adf4e9f7babc01fe6de9199.tar.xz |
reproducible debian: move page titles to mainbody, add dashboard header in nav
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin/reproducible_common.sh')
-rwxr-xr-x | bin/reproducible_common.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 52488936..06134eb9 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -37,6 +37,7 @@ fi # common variables REPRODUCIBLE_URL=https://tests.reproducible-builds.org DEBIAN_URL=https://tests.reproducible-builds.org/debian +DEBIAN_DASHBOARD_URI=/debian/reproducible.html REPRODUCIBLE_DOT_ORG_URL=https://reproducible-builds.org # shop trailing slash JENKINS_URL=${JENKINS_URL:0:-1} @@ -234,10 +235,10 @@ write_page_header() { "arch" : "%s", "suite" : "%s", "page_title" : "%s", - "debian_url" : "%s", + "debian_uri" : "%s", %s, %s - ' "$ARCH" "$SUITE" "$2" "$DEBIAN_URL" "$arch_links" "$suite_links") + ' "$ARCH" "$SUITE" "$2" "$DEBIAN_DASHBOARD_URI" "$arch_links" "$suite_links") if [[ ! -z $displayed_page ]] ; then context+=", $displayed_page" fi @@ -252,6 +253,7 @@ write_page_header() { write_page "</header>" write_page "<div class=\"mainbody\">" + write_page "<h2>$2</h2>" if [ "$1" = "$MAINVIEW" ] ; then write_page "<ul>" write_page " A general website <li><a href=\"https://reproducible-builds.org\">Reproducible-builds.org</a></li> is available now." |