diff options
Diffstat (limited to 'bin')
| -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>" |