2020-02-25 05:51:39 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
# https://unix.stackexchange.com/a/107405
|
|
|
|
|
|
|
|
|
|
trap killgroup SIGINT
|
|
|
|
|
|
|
|
|
|
killgroup() {
|
|
|
|
|
echo Stopping...
|
|
|
|
|
kill 0
|
|
|
|
|
}
|
|
|
|
|
|
2020-02-25 08:29:00 +00:00
|
|
|
watchexec -w dot -e dot "dot -Tpdf -O dot/*.dot" &
|
2020-02-25 05:51:39 +00:00
|
|
|
watchexec -e tex "tectonic main.tex" &
|
|
|
|
|
wait
|
