diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -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() { |