Dan Bornstein <danf...@milk.com> writes:

> 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 <danf...@milk.com>
> ---
>  Documentation/git.txt |    9 ++++++---
>  1 files changed, 6 insertions(+), 3 deletions(-)

Looks good.  Thanks.

> 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,
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to