diff options
| author | Tor Andersson <tor@ccxvii.net> | 2022-11-24 21:23:56 +0100 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2022-11-25 17:37:12 +0100 |
| commit | 83835ea22d7e169f80d8740ce8a542103257d173 (patch) | |
| tree | 24744e958aca45e583563ed6db9c58194dcd0b5c /tools/showgame.sh | |
| parent | 1fd20db73895cf1ca8fab9cf2c7d288d3bcc1c92 (diff) | |
| download | server-83835ea22d7e169f80d8740ce8a542103257d173.tar.gz | |
Remove obsolete tools and update other tools.
Diffstat (limited to 'tools/showgame.sh')
| -rw-r--r-- | tools/showgame.sh | 7 |
1 files changed, 7 insertions, 0 deletions
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 |