Could not connect to proxy 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...