From: Ian Jackson Date: Wed, 14 Apr 2021 22:57:08 +0000 (+0100) Subject: docs: user: Include annotation of game name in --reset-table X-Git-Tag: otter-0.5.0~52 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=87fe8afe9b2783c73533c86c9f670ad48764e0ec;p=otter.git docs: user: Include annotation of game name in --reset-table Suggested-by: Aldabra Stoddart Signed-off-by: Ian Jackson --- diff --git a/docs/user.rst b/docs/user.rst index 70dc51ed..f3b84f4a 100644 --- a/docs/user.rst +++ b/docs/user.rst @@ -156,8 +156,8 @@ The most usual game-creation command looks something like this: :: otter reset --reset-table local-users unix:ijackson::test demo - /^^^^^^^^^^^ /^^^^ - `table spec game spec + /^^^^^^^^^^^ /^^^^^^^^^^^^^^^^^' '^^^\ + `table spec `game name game spec' Here ``local-users`` refers to the file ``local-users.table.spec`` in the Otter specs directory (``/volatile/Otter/specs`` on chiark). The table @@ -177,7 +177,7 @@ for a different game) with something like this: :: otter reset unix:ijackson::test demo - /^^^^^^^^^^^^^^^^^^^ ^^^^\ + /^^^^^^^^^^^^^^^^^^' '^^^\ game name game spec The ``otter`` command line tool has further subcommands for