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 /dgit.1 | |
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>
Diffstat (limited to 'dgit.1')
0 files changed, 0 insertions, 0 deletions