On Fri, 22 Feb 2013, Junio C Hamano wrote:
The problem is that libcurl ignores the protocol part of the proxy
url, and it defaults to port 1080. wget honors the protocol specifier,
but it defaults to port 80 if none is given.
IIRC, the historical norm is to set these to <host>:<port>.
So many people mistakenly write them with <method>:// that some tools over
time learned to strip and ignore that prefix, though.
You're right, but also what exactly is the https:// _to_ the proxy supposed to
mean? The standard procedure to connect to a proxy when communicating with
either HTTP or HTTPS is using plain HTTP.
If you would want port 443 for a HTTPS connection to a proxy, you'd use:
Or without the ignore protocol prefix:
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