diff options
Diffstat (limited to 'update_jdn.sh')
| -rwxr-xr-x | update_jdn.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 1a6c6bf9..5f237643 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -426,9 +426,9 @@ if [ "$HOSTNAME" = "jenkins" ] ; then rm $TMPFILE TMPDIR=$(mktemp -d) sudo cp -pr userContent $TMPDIR/ - sudo chown jenkins.jenkins $TMPDIR - sudo cp -vpr $TMPDIR/userContent /var/lib/jenkins/ - sudo rm -r $TMPDIR + sudo chown -R jenkins.jenkins $TMPDIR + sudo cp -pr $TMPDIR/userContent /var/lib/jenkins/ + sudo rm -r $TMPDIR > /dev/null cd /var/lib/jenkins/userContent/ ASCIIDOC_PARAMS="-a numbered -a data-uri -a iconsdir=/etc/asciidoc/images/icons -a scriptsdir=/etc/asciidoc/javascripts -b html5 -a toc -a toclevels=4 -a icons -a stylesheet=$(pwd)/theme/debian-asciidoc.css" [ about.html -nt README ] || asciidoc $ASCIIDOC_PARAMS -o about.html README |