At work, I am trying to do a svn checkout https://... in a terminal, and I got the error: svn: OPTIONS of 'https://...': could not connect to server (https://...)
I can open the address https://... in my internet explorer, after entering the login and password, I can see the files in it.
Always in my internet explorer, my current setting of proxy is None.
Previously, to make svn works at home, people have inserted the following lines to my file /etc/subversion/servers:
[global]
http-proxy-host = kuzh.xxx.fr
http-proxy-port = 8080
Under this context, does anyone know how to solve this ... could not connect to server ... error?
Edit1 At the moment I am trying the same command at home, and it works. So I think @J.N. is right… I should make the http-proxy-host and http-proxy-port under a [group] so that it is taken into account only when I am at home, and not considered when I am elsewhere…
Now, the question is how to specify the [group] in /etc/subversion/servers so that it knows that I am at home or not…
First, try to comment the said lines to avoid using a proxy server and test if it works (that is add a
#at the beginning of each line.If it doesn’t, then you’re stuck. There is probably a proxy between you and the SVN server that prevents from using Subversion feautures (Note: some proxies are transparent, and need not be configured, they “catch” your requests automatically).
If it does otherwise, you can create a
[group]section in the configuration to only use a proxy for some servers instead of aglobalconfiguration.