diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_common.py | 3 | ||||
| -rwxr-xr-x | bin/reproducible_html_pkg_sets.py | 2 | ||||
| -rw-r--r-- | bin/templates/basic_page.mustache | 17 | ||||
| -rw-r--r-- | bin/templates/pkgset_navigation.mustache | 2 |
4 files changed, 14 insertions, 10 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index dd67f467..92813e06 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -310,7 +310,7 @@ def create_main_navigation(suite=defaultsuite, arch=defaultarch, def write_html_page(title, body, destfile, no_header=False, style_note=False, noendpage=False, refresh_every=None, displayed_page=None, - left_nav_html=None): + left_nav_html=None, include_pkgset_js=None): meta_refresh_html = '<meta http-equiv="refresh" content="%d"></meta>' % \ refresh_every if refresh_every is not None else '' if style_note: @@ -325,6 +325,7 @@ def write_html_page(title, body, destfile, no_header=False, style_note=False, 'main_header': title if not no_header else "", 'main_html': body, 'style_dot_css_sha1sum': REPRODUCIBLE_STYLE_SHA1, + 'include_pkgset_js': include_pkgset_js, } html = renderer.render(basic_page_template, context) diff --git a/bin/reproducible_html_pkg_sets.py b/bin/reproducible_html_pkg_sets.py index c38370af..40506278 100755 --- a/bin/reproducible_html_pkg_sets.py +++ b/bin/reproducible_html_pkg_sets.py @@ -262,7 +262,7 @@ def create_pkgset_page_and_graphs(suite, arch, stats, pkgset_name): log.info("Creating meta pkgset page for %s in %s/%s.", pkgset_name, suite, arch) write_html_page(title=title, body=html_body, destfile=destfile, - left_nav_html=left_nav_html) + left_nav_html=left_nav_html, include_pkgset_js=True) def create_pkgset_graph(png_file, suite, arch, pkgset_name): diff --git a/bin/templates/basic_page.mustache b/bin/templates/basic_page.mustache index c84f95b9..f5fe0383 100644 --- a/bin/templates/basic_page.mustache +++ b/bin/templates/basic_page.mustache @@ -5,18 +5,21 @@ <meta name="viewport" content="width=device-width" /> {{{meta_refresh}}} <link href="/static/style.css?v={{style_dot_css_sha1sum}}" type="text/css" rel="stylesheet" /> + {{#include_pkgset_js}} + <script type="text/JavaScript" src="/static/pkgset.js"></script> + {{/include_pkgset_js}} <title>{{page_title}}</title> </head> <body class="wrapper"> - {{#navigation_html}} - <header class="head"> + {{#navigation_html}} + <header class="head"> {{{navigation_html}}} - </header> - {{/navigation_html}} + </header> + {{/navigation_html}} {{#navigation_html}}<div class="mainbody">{{/navigation_html}} - {{#main_header}} - <h2>{{main_header}}</h2> - {{/main_header}} + {{#main_header}} + <h2>{{main_header}}</h2> + {{/main_header}} {{{main_html}}} {{#navigation_html}}</div>{{/navigation_html}} </body> diff --git a/bin/templates/pkgset_navigation.mustache b/bin/templates/pkgset_navigation.mustache index d9759409..98bfd5ce 100644 --- a/bin/templates/pkgset_navigation.mustache +++ b/bin/templates/pkgset_navigation.mustache @@ -1,6 +1,6 @@ <ul> {{#pkgset_page}} - <li> + <li id="expand-all-pkgsets"> <a href="/debian/{{suite}}/{{arch}}/index_pkg_sets.html" title="To switch suite and arch, see top left"> All tracked package sets for <b>{{suite}}/{{arch}}</b> |