From: Ian Jackson Date: Thu, 20 May 2021 11:44:56 +0000 (+0100) Subject: otter(1): Fix user docs for new CLI, using -g X-Git-Tag: otter-0.6.0~117 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=58015b4784bb2759118cc2b15b3203e550cb9f73;p=otter.git otter(1): Fix user docs for new CLI, using -g Signed-off-by: Ian Jackson --- 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