1 files changed, 28 insertions, 0 deletions
diff --git a/refresh.sh b/refresh.sh
new file mode 100755
index 0000000..c48c834
--- /dev/null
+++ b/refresh.sh
@@ -0,0 +1,28 @@
+#!/usr/bin/env sh
+
+CMD="$1"
+FILE="$2"
+#LOG="$(mktemp /tmp/${CMD}log.XXXXXX)"
+
+getChangeTime () {
+    stat -c '%Y' "$FILE"
+}
+
+start () {
+    $CMD $FILE & #2>>$LOG 
+    PSID=$!
+    CHANGETIME="$(getChangeTime)"
+    echo "Started $CMD $FILE at $(TZ=UTC date)"
+}
+
+start
+
+while true; do
+    NEWCHANGETIME="$(getChangeTime)"
+    if [ $NEWCHANGETIME -ne $CHANGETIME ]; then
+        echo "File has changed!"
+        kill $PSID
+        start
+    fi;
+    sleep 1
+done;