diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-01-11 21:37:22 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-03-01 18:06:21 +0000 |
commit | 2f6752f400ad19d852383258ce95996a016706c4 (patch) | |
tree | 7609091f3ee6783b95f15c8afc7ed131c15e4768 | |
parent | f9de6d94951a129a0a90c688b15807da2d56e77a (diff) |
documentation style: there is no "the restricted command"
I see "ssh restricted command" as a feature. There is no command
provided; alternatively one could argue that the user is to provide a
script, which they will configure as the restricted command, in which
case "to make writing the ssh restricted command
script|implementation" or something, but that seems wordy.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rw-r--r-- | dgit-downstream-dsc.7.pod | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dgit-downstream-dsc.7.pod b/dgit-downstream-dsc.7.pod index 73c10cf..91d9023 100644 --- a/dgit-downstream-dsc.7.pod +++ b/dgit-downstream-dsc.7.pod @@ -312,7 +312,7 @@ Either don't do that, or set up B<dgit-repos-server>. When a user who can push runs dgit, dgit uses ssh to access the git server. -To make the ssh restricted command easier, +To make use of ssh restricted command easier, and for the benefit of dgit-repos-server, dgit's ssh commands each start with a parseable commentish rune. |