diff --git a/utils/watchrun.sh b/utils/watchrun.sh new file mode 100755 index 000000000..bd3d7fbc4 --- /dev/null +++ b/utils/watchrun.sh @@ -0,0 +1,18 @@ +#!/usr/bin/env bash + +FILENAME=$1 +STARTSCRIPT=$2 +STOPSCRIPT=$3 + +touch "$FILENAME" + +$STARTSCRIPT & + +while [ -e "$FILENAME" ] ; do + inotifywait -e ATTRIB -t 10 "$FILENAME" > /dev/null 2&>/dev/null +done + +kill %1 + +$STOPSCRIPT +