[经验]Windows 10下的100%成功的代理设置

[yiyuezhuo]

我用这种配置完全设对时候，各种包下载还没出错过，告别拿地址手动下。

共需在3处配置http代理，假设

http://http_proxy_server_addr:port/

处有个http代理服务器。下面以

http://127.0.0.1:8080/

为例

假设http://127.0.0.1:8080/处有个http代理（用浏览器先测试用这个代理可以上Google。另外虽然很多时候写127.0.0.1:8080就行，但是有些程序有bug，所以使用这个完整的形式比较好，即包含前面的http和后面的/）。我个人http代理放在墙内以实现中转加速，所以是公网ip，下面就打码了。一般人用的fq工具的地址应该都是类似127.0.0.1:8080的形式，是在本地开了个http代理服务器。我如果用本地代理可能因为线路问题在晚上有时会非常慢。

终端：

set http_proxy=http://127.0.0.1:8080/
set https_proxy=http://127.0.0.1:8080/

git配置，在.gitconfig （在~/.gitconfig，~在windows指用户文件那里）里修改

[http]
proxy = http://127.0.0.1:8080/

在系统设置那里修改系统代理配置，不知道为什么有的artifact必须配置这个才能下载。注意别忘了按保存。例图：

疑似卡住时可以到任务管理器看对应的进程是否有网络流量使用和硬盘使用。

[Sukanka]

其实可以在~/.julia/config/startup.jl里面设置

ENV["HTTP_PROXY"] = "http://127.0.0.1:12333"
ENV["HTTPS_PROXY"] = "http://127.0.0.1:12333"