Как мне установить настройки прокси в 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. Так как мне указать их для Monodevelop?