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: > > http_proxy=http://proxy.myco.com > https_proxy=https://proxy.myco.com > > 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: > > http_proxy=proxy.myco.com:80 > https_proxy=proxy.myco.com:443 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
