diff options
author | Linus Nordberg <linus@nordberg.se> | 2015-12-03 11:01:37 +0100 |
---|---|---|
committer | Linus Nordberg <linus@nordberg.se> | 2015-12-03 11:01:37 +0100 |
commit | c416af7068be7e2a5c666459b4b7c42c1a391718 (patch) | |
tree | a64974034e815c566b35e262917064f063f921ba | |
parent | 46d57b77ed619d5aa165ef7fd1193936e2bd81f3 (diff) |
$1 is now rebuild timeout in seconds.
Destination dir for ikiwiki output can be set in HTML_DESTDIR
environment variable.
-rwxr-xr-x | packaging/docker/mkhtml.sh | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/packaging/docker/mkhtml.sh b/packaging/docker/mkhtml.sh index e836b71..f23db5d 100755 --- a/packaging/docker/mkhtml.sh +++ b/packaging/docker/mkhtml.sh @@ -1,8 +1,15 @@ #! /bin/sh -DESTDIR="$1" -[ -z "$DESTDIR" ] && DESTDIR=/var/www/html/radsecproxy +REBUILD_TIMEOUT="$1" +[ -z "$REBUILD_TIMEOUT" ] && REBUILD_TIMEOUT=0 +[ -z "$HTML_DESTDIR" ] && HTML_DESTDIR=/var/www/html/radsecproxy if [ -f /usr/local/src/radsecproxy-web/Makefile ]; then - make -C /usr/local/src/radsecproxy-web DESTDIR=$DESTDIR + make -C /usr/local/src/radsecproxy-web DESTDIR=$HTML_DESTDIR +fi + +if [ $REBUILD_TIMEOUT -gt 0 ]; then + while true; do + sleep $REBUILD_TIMEOUT + done fi |