From 95abdd4dde6c49544d8d6c0460b3209374c63f4c Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Thu, 19 Oct 2023 12:35:59 +0200
Subject: Tool to "force" a reload of a game by clients.

Add a random suffix to the script and stylesheet links in play.html
---
 tools/force-reload.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 tools/force-reload.sh

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
-- 
cgit v1.2.3