diff options
Diffstat (limited to 'util/watch')
-rwxr-xr-x | util/watch | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/util/watch b/util/watch new file mode 100755 index 0000000..9c79c6e --- /dev/null +++ b/util/watch @@ -0,0 +1,7 @@ +#!/bin/bash + +source "vars" + +while inotifywait --quiet --event modify "nim/day${DAY}/src/main.nim" +do ./run +done |