На работе я пытаюсь сделать svn checkout https://...
в терминале, и я получил ошибку: svn: OPTIONS of 'https://...': could not connect to server (https://...)
Я могу открыть адрес https://...
в своем интернет-обозревателе, после ввода логина и пароля я могу видеть файлы в нем.
Всегда в моем интернет-обозревателе текущие настройки прокси-сервера None
.
Ранее, чтобы svn работал дома, люди вставляли в мой файл следующие строки /etc/subversion/servers:
[global]
http-proxy-host = kuzh.xxx.fr
http-proxy-port = 8080
В этом контексте кто-нибудь знает, как решить эту ... could not connect to server ...
ошибку?
Edit1 В данный момент я пытаюсь выполнить ту же команду дома, и она работает. Так что я думаю @ J.N. правильно ... я должен сделать http-proxy-host
и http-proxy-port
под [group]
, чтобы он учитывался только когда я дома, и не учитывался, когда я в другом месте ...
Теперь вопрос в том, как указать [group]
в /etc/subversion/servers
, чтобы он знал, что я дома или нет ...