2024-03-16 09:57:27 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
|
|
|
PREVIOUS_DIR=$(pwd)
|
|
|
|
|
|
|
|
cd $DIR
|
|
|
|
|
2024-04-11 18:07:00 +02:00
|
|
|
while true;
|
|
|
|
do
|
2024-04-12 16:32:47 +02:00
|
|
|
echo "$(git ls-files bin/em/variabletime/web && find "$(pwd)/bin/em/variabletime/web/theatre_modules" -iname "*.js")" | entr -d ./reloadbrowser.sh
|
2024-04-11 18:07:00 +02:00
|
|
|
sleep 1
|
|
|
|
done
|
2024-03-16 09:57:27 +01:00
|
|
|
|
|
|
|
cd $PREVIOUS_DIR
|