mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-11-23 08:27:11 +03:00
use watchexec instead of entr
This commit is contained in:
parent
3c34ee5a42
commit
623658886e
@ -17,9 +17,7 @@ changes, I'll try to be smart about what should change (things end up in the
|
||||
"public" directory if you want to check my work.) If you remove a file and it's
|
||||
still showing up, delete the "public" directory and restart me.
|
||||
|
||||
To rebuild manually, hit SPC.
|
||||
|
||||
To quit, hit "q" or ctrl-c.
|
||||
To quit, hit ctrl-c.
|
||||
|
||||
== thaaat's it from me! =======================================================
|
||||
|
||||
@ -34,4 +32,4 @@ cleanup() {
|
||||
trap cleanup EXIT INT
|
||||
|
||||
# start a watcher. This loops forever, so we don't need to loop ourselves.
|
||||
git ls-files | entr -c -p shake --compact "$SHAKE_TARGET"
|
||||
exec watchexec --clear --postpone -- shake --compact "$SHAKE_TARGET"
|
||||
|
Loading…
Reference in New Issue
Block a user