On Fri, Feb 22, 2013 at 4:55 PM, Junio C Hamano <gits...@pobox.com> wrote:
> 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.
On the server in question, I use wget to retrieve packages in another
script. When our firewall was tightened in the past, this script
broke. I fixed it by setting the https_proxy as I listed above. This
satisfied wget and I got on with life.
I do not need git connectivity to remotes from this server very often.
But when I tried, it failed with an error message that did not
implicate the proxy server. But it was the proxy server that returned
the error 500.
error: The requested URL returned error: 500 while accessing
>> 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?
Maybe Git can tell me more about proxy failures. Or maybe Git doesn't
know because curl hides the knowledge. Something like this:
error: The proxy server at proxy.myco.com:1080
returned error: 500 while accessing
Maybe Git can warn me that the protocol prefix (if provided) is going
to be ignored or that I have failed to provide a port. Either of
these would be "above and beyond" the norm. But since curl is internal
to Git and its errors are digested by Git, it is less obvious where to
begin looking to solve such a problem; git doesn't provide the
plethora of connection-debugging output options that curl itself does.
Fwiw, the proxy info originated with our IT department who mostly had
to answer the question for Windows users and servers. Windows appears
to default to port 8080 when no port is specified. Port 8080 would
also have worked, but curl defaults to 1080. It seems that the curl
default of 1080 is the only one that caused me trouble.
My basest hope is that someone suffering similar troubles will find
this thread in a search for "git proxy error".
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