diff options
author | Joris | 2023-02-08 10:33:51 +0100 |
---|---|---|
committer | Joris | 2023-02-08 10:33:51 +0100 |
commit | 0aa9ef160fe3362a85a6e9b678d1b65756c8e3a0 (patch) | |
tree | 7ebbc0ce06ab4c644e1a4045c5cdb6232735a7fc /bin/dev-server | |
parent | 959c28f52e2ac1038f27110c88344fb321ed8e0e (diff) |
Filter on read status
Diffstat (limited to 'bin/dev-server')
-rwxr-xr-x | bin/dev-server | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/bin/dev-server b/bin/dev-server index 4136091..82a407c 100755 --- a/bin/dev-server +++ b/bin/dev-server @@ -9,13 +9,18 @@ else exit 1 fi -# Watch +# Watch books -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." +BUILD_BOOKS_CMD="./bin/get-books $BOOK_DIR > public/books.js && echo public/books.js updated." watchexec \ --watch "$BOOK_DIR" \ - -- "$BUILD_CMD" + -- "$BUILD_BOOKS_CMD" & + +# Watch TypeScript + +CHECK="echo Checking TypeScript… && tsc --checkJs" +BUILD="esbuild --bundle src/main.ts --target=es2017 --outdir=public" +watchexec \ + --clear \ + --watch src \ + -- "$CHECK && $BUILD" |