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...