diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-03-02 12:08:41 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-03-02 12:08:41 +0100 |
| commit | 89c05d3c260a1c9c6f04b33b4c48391f25ffb837 (patch) | |
| tree | 717e9d944b05636e158b00ffbaaf748d177430b2 | |
| parent | d77f816b4ce1084055d2ad52e189cf739b24d409 (diff) | |
| download | jenkins.debian.net-89c05d3c260a1c9c6f04b33b4c48391f25ffb837.tar.xz | |
reproducible: publish_page(): explain correct target
| -rwxr-xr-x | bin/reproducible_common.sh | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 0bb7cd66..80a67fa2 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -186,12 +186,17 @@ write_page_meta_sign() { } publish_page() { - cp $PAGE /var/lib/jenkins/userContent/$1/ - if [ "$VIEW" = "$MAINVIEW" ] ; then - cp $PAGE /var/lib/jenkins/userContent/reproducible.html + if [ "$1" = "" ] ; then + TARGET=$PAGE + if [ "$VIEW" = "$MAINVIEW" ] ; then + cp $PAGE /var/lib/jenkins/userContent/reproducible.html + fi + else + TARGET=$1/$PAGE fi + cp $PAGE /var/lib/jenkins/userContent/$TARGET rm $PAGE - echo "Enjoy $REPRODUCIBLE_URL/$PAGE" + echo "Enjoy $REPRODUCIBLE_URL/$TARGET" } set_package_class() { |