diff options
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 |