diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_stats.sh | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index 24cb9305..cc82c433 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -49,19 +49,19 @@ write_pkg_frameset() { cat > $FRAMESET <<-EOF <!DOCTYPE html> <html> - <head> - </head> - <frameset framespacing="0" rows="42,*" frameborder="0" noresize> - <frame name="top" src="$1_navigation.html" target="top"> - <frame name="main" src="$2" target="main"> - </frameset> + <head> + </head> + <frameset framespacing="0" rows="42,*" frameborder="0" noresize> + <frame name="top" src="$1_navigation.html" target="top"> + <frame name="main" src="$2" target="main"> + </frameset> </html> EOF } init_navi_frame() { NAVI="/var/lib/jenkins/userContent/rb-pkg/$1_navigation.html" - echo "<!DOCTYPE html><html><body><p>" > $NAVI + echo "<!DOCTYPE html><link href="../static/style.css" type="text/css" rel="stylesheet"> </link><html><body><p>" > $NAVI echo "<font size=+1>$1</font> " >> $NAVI RESULT=$(sqlite3 -init $INIT $PACKAGES_DB "SELECT build_date,version FROM source_packages WHERE name = \"$PKG\"") BUILD_DATE=$(echo $RESULT|cut -d "|" -f1) @@ -122,10 +122,10 @@ link_packages() { echo "Starting to write statistics index page." echo -write_index "<!DOCTYPE html><html><body>" > index.html -write_index "<h2>Statistics for reproducible builds</h2>" -write_index "<p>Results were obtained by <a href=\"$JENKINS_URL/view/reproducible\">several jobs running on jenkins.debian.net</a>. This page is updated after each job run.</p>" -write_index "<p>$COUNT_TOTAL packages attempted to build so far, that's $PERCENT_TOTAL% of $AMOUNT source packages in Debian $SUITE currently. Out of these, $PERCENT_GOOD% were successful, so quite wildly guessing this roughy means about $GUESS_GOOD packages should be reproducibly buildable!</p>" +write_index "<!DOCTYPE html><html><link href="static/style.css" type="text/css" rel="stylesheet"> </link><body>" > index.html +write_index "<header><h2>Statistics for reproducible builds</h2>" +write_index "<p>This page is updated every three hours. Results are obtained from <a href=\"$JENKINS_URL/view/reproducible\">several build jobs running on jenkins.debian.net</a>. Thanks to <a href=\"https://www.profitbricks.com\">Profitbricks</a> for donating the virtual machine it's running on!</p>" +write_index "<p>$COUNT_TOTAL packages attempted to build so far, that's $PERCENT_TOTAL% of $AMOUNT source packages in Debian $SUITE currently. Out of these, $PERCENT_GOOD% were successful, so quite wildly guessing this roughy means about $GUESS_GOOD packages should be reproducibly buildable! Join <code>#debian-reproducible</code> on OFTC to get support for making sure your packages build reproducibly too!</p></header>" write_index "<p>$COUNT_BAD packages ($PERCENT_BAD% of $COUNT_TOTAL) failed to built reproducibly: <code>" EXTRA_STAR=true link_packages $BAD @@ -148,9 +148,9 @@ fi write_index "<p>$COUNT_GOOD packages ($PERCENT_GOOD%) successfully built reproducibly: <code>" link_packages $GOOD write_index "</code></p>" -write_index "<hr><p>Packages which failed to build reproducibly, sorted by Maintainers: and Uploaders: fields." -write_index "<pre>$(echo $BAD | dd-list -i) </pre></p>" -write_index "<hr><p><font size='-1'><a href=\"$JENKINS_URL/userContent/reproducible.html\">Static URL for this page.</a> Last modified: $(date)</font>" +write_index "<hr/><h1>Packages which failed to build reproducibly, sorted by Maintainers: and Uploaders: fields</h1>" +write_index "<p><pre>$(echo $BAD | dd-list -i) </pre></p>" +write_index "<hr/><p><font size='-1'><a href=\"$JENKINS_URL/userContent/reproducible.html\">Static URL for this page.</a> Last modified: $(date). Copyright 2014 <a href=\"mailto:holger@layer-acht.org\">Holger Levsen</a>, GPL-2 licensed.</font>" write_index "</p></body></html>" echo |