diff options
| author | Tor Andersson <tor@ccxvii.net> | 2021-05-01 00:48:35 +0200 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2021-05-01 00:48:35 +0200 |
| commit | 652852e3104ce4020de53231ee7691a4970439d6 (patch) | |
| tree | 57a053cb2104520e240cd44a4dfb9f92fd5ede07 /tools/editgame.sh | |
| parent | 156f7f8546890c6406001061dae199f8320ca83b (diff) | |
| download | server-652852e3104ce4020de53231ee7691a4970439d6.tar.gz | |
Add server and lobby code.
Diffstat (limited to 'tools/editgame.sh')
| -rw-r--r-- | tools/editgame.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/editgame.sh b/tools/editgame.sh new file mode 100644 index 0000000..7f21fcb --- /dev/null +++ b/tools/editgame.sh @@ -0,0 +1,8 @@ +#!/bin/bash +if [ -n "$1" -a -n "$VISUAL" ] +then + sqlite3 db "update games set state=edit(state) where game_id = $1" +else + echo "usage: bash tools/editgame.sh GAME" + echo "note: \$VISUAL must be set to your preferred editor" +fi |