diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-05-14 02:12:35 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-05-14 02:12:35 +0200 |
commit | b094aec74e2ee067711216058ad99d01886ab5a5 (patch) | |
tree | 05ca4693a122771d8b638769a717c1a41365f0e0 /bin/reproducible_common.sh | |
parent | 7ad236bac830b63662e9d9de00574a90846fd157 (diff) | |
download | jenkins.debian.net-b094aec74e2ee067711216058ad99d01886ab5a5.tar.xz |
reproducible debian navigation: merge package states icons into one field
Diffstat (limited to 'bin/reproducible_common.sh')
-rwxr-xr-x | bin/reproducible_common.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index b465303c..d3657510 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -210,13 +210,14 @@ write_page_header() { else write_page "<body class=\"wrapper\" onload=\"selectSearch()\"><header class=\"head\"><h2>$2</h2>" fi - write_page "<ul class=\"menu\"><li>Package states:</li>" + write_page "<ul class=\"menu\"><li>Package states:" + write_page "<ul class=\"children\"><li>" for MY_STATE in $ALLSTATES ; do set_icon $MY_STATE - write_page "<li>" write_icon - write_page "</li>" + write_page " " done + write_page "</li></ul></li>" for TARGET in $ALLVIEWS ; do if [ "$TARGET" = "pkg_sets" ] && [ "$SUITE" = "experimental" ] ; then # no pkg_sets are tested in experimental |