diff options
author | Valerie R Young <spectranaut@riseup.net> | 2016-06-25 06:47:18 -0400 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-07-05 17:24:55 +0200 |
commit | ee75142772ff7ad5a147bd4cc6aecdf6f0f13a1c (patch) | |
tree | 42c8cf521013c47c4a0b087ef1f280d3d93da5a9 /bin/reproducible_common.sh | |
parent | 4205b546a2c71467f8aa4255423de24b6e086a47 (diff) | |
download | jenkins.debian.net-ee75142772ff7ad5a147bd4cc6aecdf6f0f13a1c.tar.xz |
reproducible debian: add template for default footer
[ Mattia Rizzolo ]
wrap and indent lines in default_page_footer.mustache
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin/reproducible_common.sh')
-rwxr-xr-x | bin/reproducible_common.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 8b382c23..9a6b8656 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -367,6 +367,7 @@ write_page_intro() { fi } +# See the python equivelent of this function: reproducible_common.py's create_default_page_footer write_page_footer() { write_page "<hr id=\"footer_separator\" /><p style=\"font-size:0.9em;\"><div id=\"page_footer\">" if [ -n "$JOB_URL" ] ; then |