diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/force-reload.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/force-reload.sh b/tools/force-reload.sh new file mode 100644 index 0000000..e19b6cd --- /dev/null +++ b/tools/force-reload.sh @@ -0,0 +1,8 @@ +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 |