[PATCH] Correct the docs about GIT_SSH.

[PATCH] Correct the docs about GIT_SSH.

[Dan Bornstein]

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(-)

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,
-- 
1.7.4.5

Re: [PATCH] Correct the docs about GIT_SSH.

[Junio C Hamano]

Dan Bornstein <danfuzz@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 <danfuzz@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,