diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-08-21 15:27:50 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-21 15:27:50 +0200 |
| commit | 168494c0db763d8cff41469388af8100cb1a5784 (patch) | |
| tree | dff4ef506de3ff3079cf69104502af6897046fe2 /bin/reproducible_common.sh | |
| parent | cc3ab05984c71e85632ba32726e841b1b2027957 (diff) | |
| download | jenkins.debian.net-168494c0db763d8cff41469388af8100cb1a5784.tar.xz | |
reproducible: get rid off javascript in dashboard, thanks Ulrike
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index b84a4669..0dfd7beb 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -240,9 +240,10 @@ write_page_header() { write_page "</ul>" if [ "$1" = "$MAINVIEW" ] ; then LATEST=$(sqlite3 -init $INIT ${PACKAGES_DB} "SELECT s.name FROM results AS r JOIN sources AS s ON r.package_id = s.id WHERE r.status IN ('unreproducible') AND s.suite = 'unstable' AND s.architecture = 'amd64' AND s.id NOT IN (SELECT package_id FROM notes) ORDER BY build_date DESC LIMIT 23"|sort -R|head -1) - write_page "<form onsubmit=\"location.href='https://reproducible.debian.net/' + document.getElementById('SrcPkg').value; return false;\">" - write_page "https://reproducible.debian.net/<input type=\"text\" id=\"SrcPkg\" value=\"$LATEST\"/>" + write_page "<form action=\"https://reproducible.debian.net\" method=\"GET\">" + write_page "<input type=\"text\" name=\"SrcPkg\" placeholder=\"Type my friend..\" value=\"$LATEST\" />" write_page "<input type=\"submit\" value=\"submit source package name\" />" + write_page "</form>" write_page "<p>There's a new HowTo <b>in early development</b>: <a href=\"/howto\">How to make your software reproducible</a>? We appreciate feedback on it, but please don't consider this document to be finished, comprehensive or correct yet.</p>" fi write_page "</header>" |