Question

I’m trying to grab the sourcecode for Bro. If I put “http://svn.icir.org/bro/trunk/bro/” into my browser I can see the repository just fine. However, if I try the command “svn co http://svn.icir.org/bro/trunk/bro” I get an error:

svn: PROPFIND request failed on '/bro/trunk/bro'
svn: PROPFIND of '/bro/trunk/bro': could not connect to server (http://svn.icir.org)

A little googling seems to indicate I should change my ~/.subversion/servers file to include

[global]
http-proxy-exceptions = ???
http-proxy-host = ???
http-proxy-port = ???
http-proxy-username = ???
http-proxy-password = ???

But I don’t know what actual values to use. My browser is set to use a proxy configuration script, let’s pretend it’s “some.url.mycompany.com:port/file.name”

Any ideas how I can infer the right values for the svn proxy given the http proxy? Is this something I need the IT guys to set up for me?

Answer 1

Are you able to view the proxy config file? If so you should be able to determine which server and port to use. If you don’t need to sign in to access the internet you can probably leave the username and password blank. Likewise for the exceptions.

When I was at a company that use a proxy config file I was able to browse to the file to see how the filtering was handled.

Example proxy config file from WikiPedia (though I am sure these files vary greatly based proxy software being used):

function FindProxyForURL(url, host) {
  // our local URLs from the domains below example.com don't need a proxy:
  if (shExpMatch(url,"*.example.com/*"))                  {return "DIRECT";}
  if (shExpMatch(url, "*.example.com:*/*"))               {return "DIRECT";}

  // URLs within this network are accessed through 
  // port 8080 on fastproxy.example.com:
  if (isInNet(host, "10.0.0.0",  "255.255.248.0"))    {
     return "PROXY fastproxy.example.com:8080";
  }

  // All other requests go through port 8080 of proxy.example.com.
  // should that fail to respond, go directly to the WWW:
  return "PROXY proxy.example.com:8080; DIRECT";
}

If the url of the repository does not match any of the rules (so would use: PROXY proxy.example.com:8080; DIRECT):

[global]
# http-proxy-exceptions = ???
http-proxy-host = proxy.example.com
http-proxy-port = 8080
# http-proxy-username = ???
# http-proxy-password = ???