diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-02-09 11:48:33 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-02-09 12:18:36 +0100 |
| commit | 8dff00a00bb91208b59bef93427e4a3020213ec6 (patch) | |
| tree | 08f0bea25cdd22a78aefe504423e272356887de0 | |
| parent | 60e830084585d2ee4dc34e95774a3be16c3d884c (diff) | |
| download | jenkins.debian.net-8dff00a00bb91208b59bef93427e4a3020213ec6.tar.xz | |
reproducible dashboard: use less vertical space to show hostnames used
| -rwxr-xr-x | bin/reproducible_common.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index a410c5ab..f8d82b93 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -366,13 +366,21 @@ write_explaination_table() { write_page "<table class=\"main\" id=\"variation\"><tr><th>variation</th><th>first build</th><th>second build</th></tr>" if [ "$1" = "debian" ] ; then write_page "<tr><td>hostname</td><td>one of:" + local FIRST="" for a in ${ARCHS} ; do + local ARCH_NODES="" + write_page "<br /> " for i in $(echo $BUILD_NODES | sed -s 's# #\n#g' | sort -u) ; do if [ "$(echo $i | grep $a)" ] ; then - write_page "<br /> " - write_page "$(echo $i | cut -d '.' -f1)" + ARCH_NODES="${ARCH_NODES}$(echo $i | cut -d '.' -f1 | sed -s 's# ##g')" + if [ -z $FIRST ] ; then + FIRST=", " + else + ARCH_NODES="${ARCH_NODES}$FIRST" + fi fi done + write_page "${ARCH_NODES}" done write_page "</td><td>i-capture-the-hostname</td></tr>" write_page "<tr><td>domainname</td><td>$(hostname -d)</td><td>i-capture-the-domainname</td></tr>" |