svn: OPTIONS of 'https://...': could not connect to server
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...
Answer
I had a similar issue, i use a proxy in my college, and no proxy at home.
It kept giving me the "could not connect to server" error.
All i had to do was comment the lines under the [global] section:
[global]
# http-proxy-host = kuzh.xxx.fr
# http-proxy-port = 8080
under these two files:
/etc/subversion/servers
/home/<username>/.subversion/servers
and that resolved the issue. Apparently, local configs are generated for all users that are using svn, so you need to remove the proxy from your user account as well when you want to get rid of the proxy.