From: Ian Jackson Date: Fri, 11 Jan 2019 21:37:22 +0000 (+0000) Subject: documentation style: there is no "the restricted command" X-Git-Tag: archive/debian/8.4~21 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=commitdiff_plain;h=2f6752f400ad19d852383258ce95996a016706c4 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 --- diff --git a/dgit-downstream-dsc.7.pod b/dgit-downstream-dsc.7.pod index 73c10cfc..91d9023c 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. 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.