无法使julia包管理器在代理后面工作

时间:2016-12-12 12:54:42

标签: git proxy julia

我意识到这似乎是一个重复的问题,但事实是,虽然我似乎已经将软件包管理器配置为在代理后面工作,但我无法安装软件包。

我的设置是:

run(`git config --list`)
http.proxy=http://<correct_proxy_:<correct_port>
https.proxy=https://<correct_proxy_:<correct_port>
url.https://github.insteadof=git://github

在Linux(Ubuntu 16.04)机器上,Julia版本是0.5.0

我在Windows机器上安装了Julia 0.3.1版,一切工作正常,配置相同。

1 个答案:

答案 0 :(得分:1)

我有类似的设置。这通常是我将要使用的:

git config --global http.proxy http://user:password@IP
git config --global https.proxy https://user:password@IP
git config --global url."https://github.com/".insteadOf git://github.com/

你可能也需要这个:

export http_proxy=http://user:password@IP
export https_proxy=https://user:password@IP

只需确保在知道后清除.gitconfig文件,因为您已知道凭据:

git config --global --unset http.proxy
git config --global --unset https.proxy