title: svn: OPTIONS of 'https://...': could not connect to server
body: <p>At work, I am trying to do a <code>svn checkout https://...</code> in a terminal, and I got the error: <code>svn: OPTIONS of 'https://...': could not connect to server (https://...)</code></p>
  
  <p>I can open the address <code>https://...</code> in my internet explorer, after entering the login and password, I can see the files in it.</p>
  
  <p>Always in my internet explorer, my current setting of proxy is <code>None</code>.</p>
  
  <p>Previously, to make svn works at home, people have inserted the following lines to my file <code>/etc/subversion/servers:</code></p>
  
  <pre><code>[global]
  http-proxy-host = kuzh.xxx.fr
  http-proxy-port = 8080
  </code></pre>
  
  <p>Under this context, does anyone know how to solve this <code>... could not connect to server ...</code> error?</p>
  
  <p><strong>Edit1</strong> 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 <code>http-proxy-host</code> and <code>http-proxy-port</code> under a <code>[group]</code> so that it is taken into account only when I am at home, and not considered when I am elsewhere...</p>
  
  <p>Now, the question is how to specify the <code>[group]</code> in <code>/etc/subversion/servers</code> so that it knows that I am at home or not...</p>