diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-04-04 16:13:47 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-04-04 16:13:47 -0400 |
| commit | ab45a8e80d644dcc8e5edce36918e8cd320d1664 (patch) | |
| tree | 2d8cecb1d003a05961a7ec19ec510b257bec23d9 | |
| parent | 1f601031806c16f32eae85f96ef61c0aef9e467e (diff) | |
comment
| -rw-r--r-- | doc/bugs/git-annex-shell__58___bad_parameters_when_trying_to_configure_a_shell_sandbox/comment_2_92ec7f5f70b6b9e1dda085135aec9ca6._comment | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/bugs/git-annex-shell__58___bad_parameters_when_trying_to_configure_a_shell_sandbox/comment_2_92ec7f5f70b6b9e1dda085135aec9ca6._comment b/doc/bugs/git-annex-shell__58___bad_parameters_when_trying_to_configure_a_shell_sandbox/comment_2_92ec7f5f70b6b9e1dda085135aec9ca6._comment new file mode 100644 index 000000000..f4f4ed23a --- /dev/null +++ b/doc/bugs/git-annex-shell__58___bad_parameters_when_trying_to_configure_a_shell_sandbox/comment_2_92ec7f5f70b6b9e1dda085135aec9ca6._comment @@ -0,0 +1,14 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 2""" + date="2016-04-04T20:12:12Z" + content=""" +The wrapper program is not strictly necessary; this will work too: + + command="git-annex-shell -c \"$SSH_ORIGINAL_COMMAND\"" + +It might be nice if git-shell knew about `SSH_ORIGINAL_COMMAND` +(and if it did, I'd make git-annex-shell mirror that), +but then that could be seen as making git depend on the transport +unncessarily. +"""]] |