Re: [PATCH] Correct the docs about GIT_SSH.
Dan Bornstein <danfuzz@milk.com> writes:
Show 8 quoted lines
> In particular, it can get called with four arguments if you happen to
> be referring to a repo using the ssh:// scheme with a non-default port
> number.
>
> Signed-off-by: Dan Bornstein <danfuzz@milk.com>
> ---
> Documentation/git.txt | 9 ++++++---
> 1 files changed, 6 insertions(+), 3 deletions(-)
Show 20 quoted lines
> diff --git a/Documentation/git.txt b/Documentation/git.txt
> index 7efaa59..4307d62 100644
> --- a/Documentation/git.txt
> +++ b/Documentation/git.txt
> @@ -774,9 +774,12 @@ other
> If this environment variable is set then 'git fetch'
> and 'git push' will use this command instead
> of 'ssh' when they need to connect to a remote system.
> - The '$GIT_SSH' command will be given exactly two arguments:
> - the 'username@host' (or just 'host') from the URL and the
> - shell command to execute on that remote system.
> + The '$GIT_SSH' command will be given exactly two or
> + four arguments: the 'username@host' (or just 'host')
> + from the URL and the shell command to execute on that
> + remote system, optionally preceded by '-p' (literally) and
> + the 'port' from the URL when it specifies something other
> + than the default SSH port.
> +
> To pass options to the program that you want to list in GIT_SSH
> you will need to wrap the program and options into a shell script,
Junio C Hamano <gitster@pobox.com>