refresh.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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;