chiark / gitweb /
documentation style: there is no "the restricted command"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 Jan 2019 21:37:22 +0000 (21:37 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 1 Mar 2019 18:06:21 +0000 (18:06 +0000)
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>
dgit-downstream-dsc.7.pod

index 73c10cf..91d9023 100644 (file)
@@ -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.
 
 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.
 and for the benefit of dgit-repos-server,
 dgit's ssh commands
 each start with a parseable commentish rune.