diff options
| -rw-r--r-- | tools/force-reload.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/tools/force-reload.sh b/tools/force-reload.sh deleted file mode 100644 index e19b6cd..0000000 --- a/tools/force-reload.sh +++ /dev/null @@ -1,8 +0,0 @@ -for FILE in $* -do - V=$RANDOM - sed -i -e '/<link/s/client.css.*"/client.css?v='$V'"/' "$FILE" - sed -i -e '/<link/s/play.css.*"/play.css?v='$V'"/' "$FILE" - sed -i -e '/<script/s/client.js.*"/client.js?v='$V'"/' "$FILE" - sed -i -e '/<script/s/play.js.*"/play.js?v='$V'"/' "$FILE" -done |