diff options
| author | Tor Andersson <tor@ccxvii.net> | 2025-04-25 12:18:00 +0200 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2025-04-25 17:56:43 +0200 |
| commit | fc3501382c2aa3ef5b692f4f55c2616f9cade3f5 (patch) | |
| tree | a047bb94f8f1854c621fa0fba5ed62c8e0d0be14 /tools/showgame.sh | |
| parent | ed2361980b455d1825d811670f329cbcf5624927 (diff) | |
| download | server-fc3501382c2aa3ef5b692f4f55c2616f9cade3f5.tar.gz | |
Move toolbox scripts to a "bin" directory.
Add a super "rtt" command to run the scripts.
Diffstat (limited to 'tools/showgame.sh')
| -rw-r--r-- | tools/showgame.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/showgame.sh b/tools/showgame.sh deleted file mode 100644 index f45be78..0000000 --- a/tools/showgame.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/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 |