From a7f7ecc84d803f1d3adf4e9f7babc01fe6de9199 Mon Sep 17 00:00:00 2001 From: Valerie R Young Date: Thu, 14 Jul 2016 12:03:24 -0400 Subject: reproducible debian: move page titles to mainbody, add dashboard header in nav Signed-off-by: Holger Levsen --- bin/reproducible_common.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'bin/reproducible_common.sh') 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 "" write_page "
" + write_page "

$2

" if [ "$1" = "$MAINVIEW" ] ; then write_page "