diff options
author | silverwind | 2020-09-05 02:55:06 +0200 |
---|---|---|
committer | GitHub | 2020-09-04 20:55:06 -0400 |
commit | e1535c74cc494dce85ea5c2e8a25665bed444217 (patch) | |
tree | ae4ccd99c77c3f6a7437e789a582b8a6fc89fa67 /tools | |
parent | 9837b598fcfb01bf01140309dd3d01452fbfb704 (diff) |
Add 'make watch' (#12636)
* Add 'make watch'
This combines frontend and backend watch into a single command that runs
them in parallel on on SIGINT terminates both.
Termination is not super-clean but I guess it does not have to.
* move to tools/, trap more signals, remove gnu-specific flag
* simplify
Co-authored-by: techknowlogick <techknowlogick@gitea.io>
Diffstat (limited to 'tools')
-rw-r--r-- | tools/watch.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/watch.sh b/tools/watch.sh new file mode 100644 index 000000000..61e3dc40a --- /dev/null +++ b/tools/watch.sh @@ -0,0 +1,8 @@ +#!/bin/bash +set -euo pipefail + +make watch-frontend & +make watch-backend & + +trap 'kill $(jobs -p)' EXIT +wait |