svn: ВАРИАНТЫ 'https://…': не удалось подключиться к серверу

На работе, Я пытаюсь выполнить svn checkout https://... в терминале и получаю сообщение об ошибке: svn: OPTIONS of 'https://...': не удалось подключиться к серверу (https://...)

Я могу открыть адрес https://... в своем интернет эксплорере, после ввода логина и пароля я вижу файлы в этом.

Всегда в моем Internet Explorer текущий параметр прокси Нет.

Ранее, чтобы заставить svn работать дома, люди вставляли следующие строки в мой файл /etc/subversion/servers:

[global]
http-proxy-host = kuzh.xxx.fr
http-proxy-port = 8080

В этом контексте кто-нибудь знает, как решить эту проблему .. .. не удалось подключиться к серверу... ошибка?

Edit1 В данный момент я пробую ту же команду дома, и она работает. Так что я думаю, что @J.N. правильно... Я должен сделать http-proxy-host и http-proxy-port под [группой], чтобы это учитывалось только когда я дома, и не считается, когда я где-то еще...

Теперь вопрос в том, как указать [группу] в /etc/subversion/servers чтобы он знал дома я или нет...