Да, вы можете настроить разные прокси для разных серверов.Пожалуйста, прочитайте документацию: SVNBook |Область конфигурации времени выполнения .
Сначала необходимо настроить группы в файле servers
.Группы определяют, какой прокси-сервер будет использоваться в зависимости от URL-адреса сервера.Далее вам нужно добавить настройки прокси в эти группы.Вот пример:
[groups]
server1 = svn.example1.com
server2 = svn.anotherdomain.com
[server1]
http-proxy-host = proxy1.domain-name.com
http-proxy-port = 80
http-proxy-username = MyUsername1
http-proxy-password = MyPassword1
[server2]
http-proxy-host = proxy2.domain-name.com
http-proxy-port = 8443
http-proxy-username = MyUsername2
http-proxy-password = MyPassword2