Соединение Julia с сервером за прокси

Question

У меня возникла проблема с подключением Julia и Atom к серверам. Мое местоположение в настоящее время находится в сети компании, которая работает с прокси и брандмауэром. Кто-нибудь знает, какие настройки я должен изменить, чтобы подключиться к серверам Julia и Atom?

Потому что, если я использую свою домашнюю сеть, все работает нормально. Я также могу завести Джулию у себя дома на моем рабочем компьютере, и она работает на работе, пока я не начну ее снова на работе. Вот пример исключения я получаю при попытке установить любой пакет на Atom:

connect ETIMEDOUT 54.235.138.91:443 

Вот пример исключения я получаю при попытке установить любой пакет:

Julia> Pkgupdate() 

INFO Updating METADATA… Fatal: unable to connect to github.com: 
Github.com[0: 192.30.253.113]: errno=No error 

ERROR: failed process: Process(‘git pull - -rebase –q’, 
ProcessExited(1)) [1] in pipeline_error at process.jl:555 

Значит ли кто-нибудь знает, что я могу сделать, чтобы исправить эту проблему?

Answer 1

Хотя это не может решить конкретный вопрос (если вы используете Юлия v0.4), ради будущих читателей:

В v0.5 или более поздней версии (точнее, после того, как https: // GitHub. com/JuliaLang/julia/pull/17783 была объединена), Джулия будет уважать стандартные http_proxy, https_proxy и http_no_proxy переменных окружения через libcurl. Возможно, что некоторые пакеты по-прежнему не соблюдают эти переменные среды; В этих случаях я бы поставил вопрос с рассматриваемым пакетом.