diff options
| author | Valerie R Young <spectranaut@riseup.net> | 2016-07-05 08:35:41 -0400 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-07-05 17:42:44 +0200 |
| commit | a8d02c004bb864307c297db5af5e5730d9ee6f9a (patch) | |
| tree | a823291a1aa67e83d738c35dab5f1584df3019b6 /bin/reproducible_common.py | |
| parent | b4ea329bf29b4e4d101d85a68dcc04305d8cb97e (diff) | |
| download | jenkins.debian.net-a8d02c004bb864307c297db5af5e5730d9ee6f9a.tar.xz | |
reproducible debian: replace bash write_page_footer with mustache template
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin/reproducible_common.py')
| -rwxr-xr-x | bin/reproducible_common.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index f7a2a7d6..ed095e07 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -171,17 +171,14 @@ try: except KeyError: JOB_URL = '' JOB_NAME = '' - JOB_FOOTER = '' else: JOB_NAME = os.path.basename(JOB_URL[:-1]) - JOB_FOOTER = 'This page was built by the jenkins job <a href="'+JOB_URL+'">' - JOB_FOOTER += JOB_NAME+'</a> which is configured via this ' - JOB_FOOTER += '<a href="https://anonscm.debian.org/git/qa/jenkins.debian.net.git/">git repo</a>.' def create_default_page_footer(date): return renderer.render(default_page_footer_template, { 'date': date, - 'job_footer': JOB_FOOTER, + 'job_url': JOB_URL, + 'job_name': JOB_NAME, 'jenkins_url': JENKINS_URL, }) |