Au travail, j'essaie de faire un svn checkout https://...
dans un terminal, et j'ai obtenu l'erreur : svn: OPTIONS of 'https://...': could not connect to server (https://...)
Je peux ouvrir l'adresse https://...
dans mon internet explorer, après avoir entré le login et le mot de passe, je peux voir les fichiers dans celui-ci.
Toujours dans mon internet explorer, mon paramètre actuel de proxy est None
.
Auparavant, pour faire fonctionner svn à la maison, les gens ont inséré les lignes suivantes dans mon fichier /etc/subversion/servers:
[global]
http-proxy-host = kuzh.xxx.fr
http-proxy-port = 8080
Dans ce contexte, quelqu'un sait-il comment résoudre ce problème ? ... could not connect to server ...
erreur ?
Edit1 En ce moment, j'essaie la même commande à la maison, et ça marche. Donc je pense que @J.N. a raison... Je devrais faire le http-proxy-host
y http-proxy-port
sous un [group]
afin qu'il ne soit pris en compte que lorsque je suis chez moi, et non considéré lorsque je suis ailleurs...
Maintenant, la question est de savoir comment spécifier le [group]
en /etc/subversion/servers
pour qu'il sache si je suis à la maison ou pas...