aboutsummaryrefslogtreecommitdiff
path: root/util/watch
diff options
context:
space:
mode:
authorj-james2022-12-01 03:01:41 +0000
committerj-james2022-12-01 03:01:41 +0000
commit5bb17e9fcf87a976c69dab9e6a73a42745b3d4ce (patch)
tree138bfc44e692d4c8890af11ec2f5816c2b461f27 /util/watch
parent1ec309b88e176909dc3d72ecb715d6e2d68c2f3d (diff)
Move scripts to a util folder
Diffstat (limited to 'util/watch')
-rwxr-xr-xutil/watch7
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