From fc3501382c2aa3ef5b692f4f55c2616f9cade3f5 Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Fri, 25 Apr 2025 12:18:00 +0200 Subject: Move toolbox scripts to a "bin" directory. Add a super "rtt" command to run the scripts. --- tools/showgame.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 tools/showgame.sh (limited to 'tools/showgame.sh') 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 -- cgit v1.2.3