diff options
Diffstat (limited to 'bin/dev-server')
-rwxr-xr-x | bin/dev-server | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/bin/dev-server b/bin/dev-server new file mode 100755 index 0000000..4136091 --- /dev/null +++ b/bin/dev-server @@ -0,0 +1,21 @@ +#!/usr/bin/env bash +set -euo pipefail +cd $(dirname "$0")/.. + +if [ "$#" == 1 ]; then + BOOK_DIR="$1" +else + echo "usage: $0 path-to-book-directory" + exit 1 +fi + +# Watch + +clear +echo "Open your browser at file://$PWD/public/index.html" +echo + +BUILD_CMD="./bin/get-data $BOOK_DIR > public/data.js && echo public/data.js updated." +watchexec \ + --watch "$BOOK_DIR" \ + -- "$BUILD_CMD" |