From 83835ea22d7e169f80d8740ce8a542103257d173 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Thu, 24 Nov 2022 21:23:56 +0100
Subject: Remove obsolete tools and update other tools.

---
 tools/showgame.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tools/showgame.sh

(limited to 'tools/showgame.sh')

diff --git a/tools/showgame.sh b/tools/showgame.sh
new file mode 100644
index 0000000..f45be78
--- /dev/null
+++ b/tools/showgame.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+if [ -n "$1" ]
+then
+	sqlite3 db "select json_remove(json_remove(state, '$.undo'), '$.log') from game_state where game_id = $1"
+else
+	echo "usage: bash tools/showgame.sh GAME"
+fi
-- 
cgit v1.2.3