Настройки прокси-сервера Monodevelop

Question

Как установить настройки прокси-сервера Monodevelop? Я пытался изменить Monodevelop.exe.config со следующим кодом

<system.net> 
     <defaultProxy useDefaultCredentials="true"> 
      <proxy 
       proxyaddress = "http://172.0.0.18:8080" 
       bypassonlocal = "true"/> 
     </defaultProxy> 
</system.net> 

Но его не принимает useDefaultCredentials="true" атрибута, это говорит Непризнанного атрибут «useDefaultCredentials» в поле исключения. Кроме того, для моих настроек прокси необходимы идентификатор пользователя и пароль, и эти учетные данные отличаются от учетных данных Windows Logon. Итак, как я могу указать те для Monodevelop?

Answer 1

Это то же самое, что настройка прокси для любого приложения .NET. IIRC, если автоопределение включено, тогда .NET будет использовать настройки прокси-сервера WinHTTP, которые устанавливаются через IE или proxycfg.exe.

Re. ваш основной вопрос, атрибут useDefaultCredentials должен содержать элемент <proxy>, а не элемент <defaultProxy>.