diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-11-11 15:39:54 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-11-11 15:39:54 +0100 |
| commit | 86f7b10765fce50aceca96df3df09c816524d0ee (patch) | |
| tree | 7bc251ec5b88cac35d9516c5bd19123623c145c3 | |
| parent | 926582cc28a0c1e949e10ac6bf3a766db41c147d (diff) | |
| download | jenkins.debian.net-86f7b10765fce50aceca96df3df09c816524d0ee.tar.xz | |
reproducible: improve job output
| -rwxr-xr-x | bin/reproducible_html_repository_comparison.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/reproducible_html_repository_comparison.sh b/bin/reproducible_html_repository_comparison.sh index 19525f31..055eb064 100755 --- a/bin/reproducible_html_repository_comparison.sh +++ b/bin/reproducible_html_repository_comparison.sh @@ -32,6 +32,8 @@ write_row() { custom_curl() { echo "$(date -u) - downloading $1 to $2" curl -s $1 > $2 + local SIZE=$(ls -la $2 |cut -d " " -f5) + echo "$(date -u) - downloaded $SIZE bytes." } ARCH="amd64" @@ -226,8 +228,8 @@ for PKG in $SOURCEPKGS ; do write_row " <td>$CSID</td>" write_row " <td>$CEXP</td>" write_row "</tr>" - echo "TABLE_TODO: $(ls -la $TABLE_TODO)" - echo "TABLE_DONE: $(ls -la $TABLE_DONE)" + echo "$(date -u ) - TABLE_TODO: $(ls -la $TABLE_TODO)" + echo "$(date -u ) - TABLE_DONE: $(ls -la $TABLE_DONE)" done cat $TABLE_TODO >> $PAGE write_page "</table></p>" |