Ubuntu系统下使用代理安装julia拓展包

在Julia中安装包时，如果需要使用代理，可以通过设置环境变量来配置代理。以下是在Julia中设置代理并安装 JSON3 包的步骤：

1. 打开 Julia REPL（Read-Eval-Print Loop）。
2. 在 Julia REPL 中，使用以下命令设置 HTTP 和 HTTPS 代理（替换 your_proxy_url 为你的代理地址和端口）：

juliaCopy code
ENV["HTTP_PROXY"] = "http://your_proxy_url"
ENV["HTTPS_PROXY"] = "http://your_proxy_url"

3. 接下来，安装 JSON3 包。在 Julia REPL 中运行：

juliaCopy code
using Pkg
Pkg.add("JSON3")

例如：
我想在安装JSON3
执行过程如下：

using Pkg
Pkg.activate(".")
ENV["HTTP_PROXY"] = "http://127.0.0.1:8889"
ENV["HTTPS_PROXY"] = "http://127.0.0.1:8889"
Pkg.add("JSON3")

上面的http://127.0.0.1:8889是我本地代理工具的代理地址，也可以换成其他的镜像地址使用。