跳至主要內容

Julia换源(更换国内镜像站)

Ai4Energy大约 1 分钟

Julia换源(更换国内镜像站)

!!! tip
Contents:JuliaPkg

Contributor: YJY

Email:522432938@qq.com

如有错误,请批评指正。
  1. 打开julia的安装路径,找到文件夹 julia-1.x.x(如1.6.1) 如图
    在这里插入图片描述

  2. 进入该文件夹找到etc
    在这里插入图片描述

  3. 进入etc 再进入一个文件夹,有一个startup.jl
    在这里插入图片描述

这个startup.jl就很方便了,在启动julia的时候,会首先自动运行里面的内容

所以,打开它,在里面输入一行

ENV["JULIA_PKG_SERVER"]="https://mirrors.pku.edu.cn/julia/"

就像这样
在这里插入图片描述
保存就完事了。

ENV是julia的全局环境变量,能够直接在repl中修改环境变量,但不是永久的。所以放在startup.jl里。这样等价于永久改变了,因为每次启动都会repl自动执行它。

在repl中输入ENV如下:
在这里插入图片描述

还有一些其它的比如LOAD_PATH 和DEPOT_PATH等等,这些都是环境变量。更多可以看中文文档open in new window
在这里插入图片描述

PS: 不换也行,最新版的julia好像能自动选取一个最快的源。

上次编辑于:
贡献者: Mingtao Li