proxy в fsi.exe (fsharp interactive)

Question

Я пытаюсь использовать демонстрационную версию Build. После добавления в файлы конфигурации файла devenv.exe и файла fsi.exe у меня больше нет db-загрузки dll.

Хотя я мог модифицировать образцы twitter для использования прокси-сервера моей компании, поставщик типа freebase, похоже, не допускает такого переопределения.

В то время как моя среда VS обращается к сети без pb, FSI.exe, похоже, не может пройти через указанный вами прокси. Как я могу заставить его использовать по умолчанию прокси, который я указываю? Как это, что devenv.exe не нуждается в каких-либо конкретных настройках?

PS: Следующая конфигурация, в том же каталоге, что fsi.exe, не получилась:

<?xml version="1.0" encoding="utf-8"?> 
<configuration> 
    <runtime> 
    <defaultProxy useDefaultCredentials="true" enabled="true"> 
     <proxy usesystemdefault = "false" proxyaddress = "ipaddress:portnumber" bypassonlocal = "true"/> 
     </defaultProxy> 

    <loadFromRemoteSources enabled="true" /> 
    <legacyUnhandledExceptionPolicy enabled="true" /> 
    </runtime> 
</configuration> 

Answer 1

Ok прокси по умолчанию было в разделе неправильной конфигурации. должно быть в вместо времени выполнения. Также должен иметь http: // перед ipaddress

<?xml version="1.0" encoding="utf-8"?> 
<configuration> 
    **<system.net>** 
     <defaultProxy useDefaultCredentials="true" enabled="true"> 
     <proxy usesystemdefault = "false" proxyaddress = "**http://**ipadress:portnumber" bypassonlocal = "true"/> 
     </defaultProxy> 
    **</system.net>** 


    <runtime>  
    <loadFromRemoteSources enabled="true" /> 
    <legacyUnhandledExceptionPolicy enabled="true" /> 
    </runtime> 
</configuration>