Julia 1.2.0 应该怎么设代理?


#1

ss现在用不了,我在5080上开了http inbound的v2ray代理,浏览器上设http代理可以成功代理,不需要设socks5。配置的方式是在将打开Julia的终端输入:

set http_proxy=127.0.0.1:5080
set https_proxy=127.0.0.1:5080
git config --global http.proxy http://127.0.0.1:5080
git config --global https.proxy http://127.0.0.1:5080

.gitconfig里是

[http]
proxy = http://127.0.0.1:5080
[https]
proxy = http://127.0.0.1:5080

然而速度慢到感觉julia根本没走代理,现在应该怎么开代理?论坛搜代理都是2018的帖子。


#2
export http_proxy="http://127.0.0.1:5080" && export https_proxy="http://127.0.0.1:5080"

#3

我是cmd里写的,所以这个应该和我写的是等价的。然而感觉没用。。


#5

Mellow好像可以代理,不知道是不是幻觉,还是只是这次试的时候线路好了。


#6

http_proxyhttps_proxy两个环境变量就够了。你应该检查一下你的梯子是不是全局模式,如果你开了PAC的话github可能不在列表里,不会走代理