From 58015b4784bb2759118cc2b15b3203e550cb9f73 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 20 May 2021 12:44:56 +0100 Subject: [PATCH] otter(1): Fix user docs for new CLI, using -g Signed-off-by: Ian Jackson --- docs/user.rst | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/user.rst b/docs/user.rst index ee9a3a1f..0b56b6d3 100644 --- a/docs/user.rst +++ b/docs/user.rst @@ -155,9 +155,9 @@ The most usual game-creation command looks something like this: :: - otter unix:ijackson::test reset --reset-table local-users demo - /~^^^^^^^^^^^^^^^^^' /^^^^^^^^^^^ '^^^\ - `game name table spec' game spec' + otter -g unix:ijackson::test reset --reset-table local-users demo + /~^^^^^^^^^^^^^^^^^' /^^^^^^^^^^^ '^^^\ + `game name table spec' game spec' Here ``local-users`` refers to the file ``local-users.table.toml`` in the Otter specs directory (``/volatile/Otter/specs`` on chiark). The table @@ -176,9 +176,9 @@ for a different game) with something like this: :: - otter unix:ijackson::test reset demo - /^^^^^^^^^^^^^^^^^^' '^^^\ - `game name `game spec + otter -g unix:ijackson::test reset demo + /^^^^^^^^^^^^^^^^^^' '^^^\ + `game name `game spec The ``otter`` command line tool has further subcommands for adding/removing players, for ad-hoc addition of pieces from the -- 2.30.2