我意识到这似乎是一个重复的问题,但事实是,虽然我似乎已经将软件包管理器配置为在代理后面工作,但我无法安装软件包。
我的设置是:
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版,一切工作正常,配置相同。
答案 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