blob: 09522093f791dd88348f51596ac3e1eca3527b04 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/usr/bin/env bash
set -euo pipefail
# Killing watchexec ourselves, it may not be done otherwise.
function finish {
if [ -n "${LIVE_SERVER_PID:-}" ]; then
kill "$LIVE_SERVER_PID" > /dev/null 2>&1
fi
}
trap finish EXIT
watchexec \
--watch src \
--clear clear \
--restart \
zig build -Dtarget=x86_64-linux run &
LIVE_SERVER_PID="$!"
while true; do sleep 1; done
|
