New post: Introducing tori
This commit is contained in:
parent
4876ae1380
commit
e73ddf8bc8
5 changed files with 467 additions and 0 deletions
7
posts/watch.sh
Executable file
7
posts/watch.sh
Executable file
|
|
@ -0,0 +1,7 @@
|
|||
#!/usr/bin/env sh
|
||||
|
||||
while true; do
|
||||
./gen.ml
|
||||
echo
|
||||
inotifywait -e modify -r md
|
||||
done
|
||||
Loading…
Add table
Add a link
Reference in a new issue