diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-05-22 16:43:23 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-05-22 16:43:23 +0200 |
| commit | e6836849dad5da26e080bcad0863f966e630082b (patch) | |
| tree | 412b961c7208b490c3830adc1f1e912e287acf65 | |
| parent | a25034c67ca9cd19bdd189be73b7ebb2b59db16e (diff) | |
| download | jenkins.debian.net-e6836849dad5da26e080bcad0863f966e630082b.tar.xz | |
reproducible: use less space for overview
| -rwxr-xr-x | bin/reproducible_html_graphs.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/bin/reproducible_html_graphs.sh b/bin/reproducible_html_graphs.sh index 2ae66a74..9d4a65a9 100755 --- a/bin/reproducible_html_graphs.sh +++ b/bin/reproducible_html_graphs.sh @@ -576,7 +576,12 @@ create_main_stats_page() { write_page "<p>" # do the global stats for i in 3 7 4 5 1 ; do - write_page " <a href=\"/userContent/${TABLE[$i]}.png\"><img src=\"/userContent/${TABLE[$i]}.png\" alt=\"${MAINLABEL[$i]}\"></a>" + if [ $i = "3" ] || [ $i = "1" ] ; then + OVERVIEW="" + else + OVERVIEW='class="overview"' + fi + write_page " <a href=\"/userContent/${TABLE[$i]}.png\"><img src=\"/userContent/${TABLE[$i]}.png\" $OVERVIEW alt=\"${MAINLABEL[$i]}\"></a>" # redo pngs once a day if [ ! -f $BASE/${TABLE[$i]}.png ] || [ ! -z $(find $BASE -maxdepth 1 -mtime +0 -name ${TABLE[$i]}.png) ] ; then create_png_from_table $i ${TABLE[$i]}.png @@ -584,7 +589,7 @@ create_main_stats_page() { if [ "$i" = "3" ] ; then write_page "</p>" write_usertag_table - write_page "<p>" + write_page "<p style=\"clear:both;\">" fi done write_page "</p>" |