diff options
| author | Tor Andersson <tor@ccxvii.net> | 2024-03-25 23:19:07 +0100 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2024-03-25 23:19:22 +0100 |
| commit | 52eccef969df5aca355fca93236cde0dd0c9fc02 (patch) | |
| tree | d304083238d3f6c48a255f4033c55c311ec6b440 | |
| parent | 38bd46ce38f2b44bcebc329343a5ab479c8b7e84 (diff) | |
| download | server-52eccef969df5aca355fca93236cde0dd0c9fc02.tar.gz | |
Remove obsolete tool.
| -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 |