En el trabajo, estoy tratando de hacer un svn checkout https://...
en un terminal, y me dio el error: svn: OPTIONS of 'https://...': could not connect to server (https://...)
SVN: OPCIONES de 'https: // ...': No se pudo conectar con el servidor
puedo abrir la dirección https://...
en mi explorador de Internet, después de ingresar el nombre de usuario y la contraseña, puedo ver los archivos en él.
Siempre en mi explorador de Internet, mi configuración actual de proxy es None
.
Anteriormente, para hacer SVN trabaja en casa, la gente ha insertado las siguientes líneas a mi archivo /etc/subversion/servers:
[global]
http-proxy-host = kuzh.xxx.fr
http-proxy-port = 8080
En este contexto, ¿alguien sabe cómo resolver este error ... could not connect to server ...
?
Edit1 Por el momento estoy intentando el mismo comando en casa, y funciona. Entonces creo @JN. que es correcto ... que debería hacer el http-proxy-host
y http-proxy-port
bajo un [group]
de manera que se tiene en cuenta solamente cuando estoy en casa, y no se considera cuando estoy en otro lugar ...
Ahora, la pregunta es cómo especifique el [group]
en /etc/subversion/servers
para que sepa que estoy en casa o no ...
¿Está usando la misma computadora en casa y en el trabajo? ¿Has intentado comentar tu proxy actual en el trabajo (si eso no funciona, entonces probablemente estés atascado). –
Uso siempre la misma computadora ... No lo he intentado, pero creo que funcionará ... – SoftTimur