diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2015-06-03 22:40:09 -0400 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-04 11:05:53 +0200 |
| commit | bcba6e61cda6094a1228fe1bd9b942cfc2036d81 (patch) | |
| tree | 8feb6bb4b3a8f1a58dbf7f591b67bc4ea04ecfde | |
| parent | 2192cc4ed8a187f46093e1907d394fe6da93433d (diff) | |
| download | jenkins.debian.net-bcba6e61cda6094a1228fe1bd9b942cfc2036d81.tar.xz | |
provide anchors to target sections of the front page
This patch makes it easier to point people at the list of variations
and the list of usertagged bugs. It also uses css to make the
targeted sections have a different header color (i'm happy for more
style-y people to improve on this visual cue).
| -rwxr-xr-x | bin/reproducible_html_graphs.sh | 4 | ||||
| -rw-r--r-- | userContent/reproducible/static/style.css | 6 |
2 files changed, 8 insertions, 2 deletions
diff --git a/bin/reproducible_html_graphs.sh b/bin/reproducible_html_graphs.sh index bd128daa..b7114f2e 100755 --- a/bin/reproducible_html_graphs.sh +++ b/bin/reproducible_html_graphs.sh @@ -367,7 +367,7 @@ write_usertag_table() { let "COUNT+=1" VALUE=$(echo $RESULT | cut -d "|" -f$COUNT) if [ $COUNT -eq 1 ] ; then - write_page "<table class=\"main\"><tr><th>Usertagged bugs</th><th>Open</th><th>Done</th><th>Total</th></tr>" + write_page "<table class=\"main\" id=\"usertagged-bugs\"><tr><th>Usertagged bugs</th><th>Open</th><th>Done</th><th>Total</th></tr>" elif [ $((COUNT%2)) -eq 0 ] ; then write_page "<tr><td><a href=\"https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=${FIELD:5};users=reproducible-builds@lists.alioth.debian.org&archive=both\">${FIELD:5}</a></td><td>$VALUE</td>" TOTAL=$VALUE @@ -600,7 +600,7 @@ create_main_stats_page() { done # explain setup write_page "</p><p style=\"clear:both;\">" - write_page "<table class=\"main\"><tr><th>variation</th><th>first build</th><th>second build</th></tr>" + write_page "<table class=\"main\" id=\"variation\"><tr><th>variation</th><th>first build</th><th>second build</th></tr>" write_page "<tr><td>hostname</td><td>$(hostname)</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>" write_page "<tr><td>env BUILDUSERID</td><td>BUILDUSERID=\"1111\"</td><td>BUILDUSERID=\"2222\"</td></tr>" diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index 5bb7ed93..0453bc49 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -218,6 +218,12 @@ th { padding: 0.5em; } +table:target th { + background: #ffb; +} + + + iframe#main { margin: 0; width: 100%; |