chiark / gitweb /
deploy: rename dmeo-game
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 21 Nov 2020 17:51:20 +0000 (17:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 21 Nov 2020 17:51:20 +0000 (17:51 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
demo/demo.game.toml [moved from demo/test.game.toml with 100% similarity]
demo/test.table.toml

similarity index 100%
rename from demo/test.game.toml
rename to demo/demo.game.toml
index 575d4a7ad89d46cc40dc91324284afa38897e1d4..43b23bf7c226dee127610d078deb05d69863c208 100644 (file)
@@ -9,7 +9,7 @@ timezone = "Europe/London"
 [[players]]
 account_glob = "server:*"
 
-# USER=rustcargo  target/debug/otter --config ~ian/Rustup/Game/server/server.toml --account server: reset --reset-table ~ian/Rustup/Game/server/demo/test.table.toml server::dummy  ~ian/Rustup/Game/server/demo/test.game.toml
+# USER=rustcargo  target/debug/otter --config ~ian/Rustup/Game/server/server.toml --account server: reset --reset-table ~ian/Rustup/Game/server/demo/test.table.toml server::dummy  ~ian/Rustup/Game/server/demo/demo.game.toml
 
 # USER=rustcargo target/debug/otter --config ~ian/Rustup/Game/server/server.toml --super --fixed-token kmqAKPwK4TfReFjMor8MJhdRPBcwIBpe --account server:alice join-game server::dummy