Monodevelop Proxy Settings

How do I set the proxy settings of Monodevelop? I tried to modify the Monodevelop.exe.config with the following code

<system.net>
开发者_Python百科        <defaultProxy useDefaultCredentials="true">
            <proxy
                proxyaddress = "http://172.0.0.18:8080"
                bypassonlocal = "true"/>
        </defaultProxy>
</system.net>

But its not taking useDefaultCredentials="true" attribute, it is saying Unrecognized attribute 'useDefaultCredentials' in the exception box. Moreover my proxy settings need userid and password and this credential is different from Windows Logon credentials. So how do I specify those for Monodevelop?

This is the same as configuring the proxy for any .NET app. IIRC, if autodetection is enabled, then .NET will use the WinHTTP proxy settings, which are set through IE or proxycfg.exe.

Re. your main question, the useDefaultCredentials attribute should on the <proxy> element, not the <defaultProxy> element.