diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-11-10 13:40:51 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-11-10 13:41:50 +0100 |
| commit | 7ff6da81801d36553e5a54b147657c9e6bd27c41 (patch) | |
| tree | a0be75141c9e3acf7a2193fd367f006b741f5580 /bin/reproducible_html_repository_comparison.sh | |
| parent | ee622308fb39d78d822e9b888f15a5692c13bd5e (diff) | |
| download | jenkins.debian.net-7ff6da81801d36553e5a54b147657c9e6bd27c41.tar.xz | |
reproducible Debian: explain our repo is obsolete now
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin/reproducible_html_repository_comparison.sh')
| -rwxr-xr-x | bin/reproducible_html_repository_comparison.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/bin/reproducible_html_repository_comparison.sh b/bin/reproducible_html_repository_comparison.sh index 53fda31d..62994c74 100755 --- a/bin/reproducible_html_repository_comparison.sh +++ b/bin/reproducible_html_repository_comparison.sh @@ -44,7 +44,6 @@ write_page "<p>These source packages (and their binaries packages) are different write_page "deb http://reproducible.alioth.debian.org/debian/ ./" write_page "deb-src http://reproducible.alioth.debian.org/debian/ ./" write_page "</pre></p>" -write_page "<p><table><tr><th class=\"center\">package</th><th class=\"center\">git repo</th><th class=\"center\">PTS link</th><th class=\"center\">usertagged bug(s)</th><th class=\"center\">old versions in our repo<br />(needed for reproducing old builds)</th><th class=\"center\">version in our repo<br />(available binary packages per architecture)</th><th class=\"center\">version in 'testing'</th><th class=\"center\">version in 'unstable'</th><th class=\"center\">version in 'experimental'</th></tr>" custom_curl http://reproducible.alioth.debian.org/debian/Sources $SOURCES custom_curl http://reproducible.alioth.debian.org/debian/Packages $PACKAGES @@ -232,8 +231,13 @@ for PKG in $SOURCEPKGS ; do echo "$(date -u) - Package $PKG done." echo done -cat $TABLE_TODO >> $PAGE -write_page "</table></p>" +if [ -s $TABLE_TODO ] ; then + write_page "<p><table><tr><th class=\"center\">package</th><th class=\"center\">git repo</th><th class=\"center\">PTS link</th><th class=\"center\">usertagged bug(s)</th><th class=\"center\">old versions in our repo<br />(needed for reproducing old builds)</th><th class=\"center\">version in our repo<br />(available binary packages per architecture)</th><th class=\"center\">version in 'testing'</th><th class=\"center\">version in 'unstable'</th><th class=\"center\">version in 'experimental'</th></tr>" + cat $TABLE_TODO >> $PAGE + write_page "</table></p>" +else + write_page "<p>Congratulations! There are no modified packages in our repository compared to unstable. (Yes, that means our repository is obsolete now.)" +fi if [ -s $TABLE_DONE ] ; then write_page "<p><table><tr><th class=\"center\">obsoleted package,<br />version in sid higher than in our repo</th><th class=\"center\">git repo</th><th class=\"center\">PTS link</th><th class=\"center\">usertagged bug(s)</th><th class=\"center\">old version(s) in our repo<br />(needed for reproducing old builds)</th><th class=\"center\">version in our repo<br />(available binary packages per architecture)</th><th class=\"center\">version in 'testing'</th><th class=\"center\">version in 'unstable'</th><th class=\"center\">version in 'experimental'</th></tr>" cat $TABLE_DONE >> $PAGE |