Correct the docs about GIT_SSH.
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> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Dan Bornstein committed
Mar 21, 2013 at 23:06 UTC
e39c695d871d877a621e39cef7e5bd208bb7b157
1 file changed
+6
-3
Documentation/git.txt
+6
-3
@@ -764,9 +764,12 @@ other
764
If this environment variable is set then 'git fetch'
765
and 'git push' will use this command instead
766
of 'ssh' when they need to connect to a remote system.
767
- The '$GIT_SSH' command will be given exactly two arguments:
768
- the 'username@host' (or just 'host') from the URL and the
769
- shell command to execute on that remote system.
767
+ The '$GIT_SSH' command will be given exactly two or
768
+ four arguments: the 'username@host' (or just 'host')
769
+ from the URL and the shell command to execute on that
770
+ remote system, optionally preceded by '-p' (literally) and
771
+ the 'port' from the URL when it specifies something other
772
+ than the default SSH port.
773
+
774
To pass options to the program that you want to list in GIT_SSH
775
you will need to wrap the program and options into a shell script,