diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/run | 21 | ||||
| -rwxr-xr-x | tools/run-frontend | 10 | ||||
| -rwxr-xr-x | tools/run-unified | 9 |
3 files changed, 31 insertions, 9 deletions
@@ -1,14 +1,17 @@ #!/bin/bash -e -## tools/run [ARGS...] +## tools/run +## +## Runs the service, and runs a development version of the UI, with hot +## reloading and live code changes enabled. -if [ -z ${PILCROW_DEV+x} ]; then - cargo run -- "$@" -else - npm run dev -- & PIDS[0]=$! - cargo run -- "$@" & PIDS[1]=$! +PIDS=() - trap "kill ${PIDS[*]}" SIGINT +trap 'kill "${PIDS[@]}"' EXIT - wait -fi +cargo run & +PIDS+=($!) +npm run dev -- --host & +PIDS+=($!) + +wait "${PIDS[@]}" diff --git a/tools/run-frontend b/tools/run-frontend new file mode 100755 index 0000000..14ff49c --- /dev/null +++ b/tools/run-frontend @@ -0,0 +1,10 @@ +#!/bin/bash -e + +## tools/run-frontend [OPTIONS…] +## +## Runs a development server for the Pilcrow UI. Options are passed through to +## the `npm run dev` command. This is best combined with the `API_SERVER` +## environment variable, to configure the development server to connect to a +## running Pilcrow instance. + +exec npm run dev -- --host "$@" diff --git a/tools/run-unified b/tools/run-unified new file mode 100755 index 0000000..41ad1de --- /dev/null +++ b/tools/run-unified @@ -0,0 +1,9 @@ +#!/bin/bash -e + +## tools/run-unified [OPTIONS…] +## +## Runs the service, with the UI unified into it (approximately as it would be +## in a deployed configuration). Options are passed through to the `pilcrow` +## command. + +exec cargo run --bin pilcrow -- "$@" |