Phil Hord <phil.h...@gmail.com> writes:
> I have been unable to clone via http proxy because of a wrongly
> configured proxy setup in my lab.
> I had this env:
> 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.
> The fix was to specify the port explicitly, like this:
Yeah, that is the correct syntax to use. Is there anything you want
Git to do to be more helpful?
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