scripts/generate.sh
branchv_0
changeset 137 6aeed29d3a6e
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/generate.sh	Mon Dec 25 14:08:19 2023 +0100
@@ -0,0 +1,1 @@
+while inotifywait -e close_write -r relpipe-data/; do ant | lolcat; date --iso-8601=ns; echo; echo; done