diff options
author | j-james | 2022-12-01 03:01:41 +0000 |
---|---|---|
committer | j-james | 2022-12-01 03:01:41 +0000 |
commit | 5bb17e9fcf87a976c69dab9e6a73a42745b3d4ce (patch) | |
tree | 138bfc44e692d4c8890af11ec2f5816c2b461f27 /util/watch | |
parent | 1ec309b88e176909dc3d72ecb715d6e2d68c2f3d (diff) |
Move scripts to a util folder
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 |