From 3cb85c8fcf78f4c0c6f02fac6137c6b5a29946cc Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 6 Oct 2014 17:03:42 +0200 Subject: reproducible: fix html header and add utf8 meta info --- bin/reproducible_stats.sh | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'bin') diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index cc82c433..6598b8e9 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -61,8 +61,9 @@ EOF init_navi_frame() { NAVI="/var/lib/jenkins/userContent/rb-pkg/$1_navigation.html" - echo "

" > $NAVI - echo "$1 " >> $NAVI + echo "" > $NAVI + echo "" + echo "

$1 " >> $NAVI RESULT=$(sqlite3 -init $INIT $PACKAGES_DB "SELECT build_date,version FROM source_packages WHERE name = \"$PKG\"") BUILD_DATE=$(echo $RESULT|cut -d "|" -f1) VERSION=$(echo $RESULT|cut -d "|" -f2) @@ -122,8 +123,10 @@ link_packages() { echo "Starting to write statistics index page." echo -write_index " " > index.html -write_index "

Statistics for reproducible builds

" +write_index "" +write_index "" +write_index "" +write_index "

Statistics for reproducible builds

" write_index "

This page is updated every three hours. Results are obtained from several build jobs running on jenkins.debian.net. Thanks to Profitbricks for donating the virtual machine it's running on!

" write_index "

$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 #debian-reproducible on OFTC to get support for making sure your packages build reproducibly too!

" write_index "

$COUNT_BAD packages ($PERCENT_BAD% of $COUNT_TOTAL) failed to built reproducibly: " -- cgit v1.2.3-70-g09d2