2018-11-24 16:13:36 +13:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
python3 -m http.server -d site &
|
|
|
|
|
server_pid=$!
|
|
|
|
|
trap 'kill $server_pid' EXIT
|
|
|
|
|
|
2019-03-23 22:57:59 +13:00
|
|
|
nproc=$(nproc || echo 4)
|
|
|
|
|
|
2018-11-24 16:13:36 +13:00
|
|
|
while true
|
|
|
|
|
do
|
2019-03-24 14:56:44 +13:00
|
|
|
find . -name '*.rs' -o -name '*.md' -o -name '*.css' -not -path './site/*' | entr -d make -j$nproc
|
2018-11-24 16:13:36 +13:00
|
|
|
done
|
