Julia换源(更换国内镜像站)
大约 1 分钟
Julia换源(更换国内镜像站)
!!! tip
Contents:JuliaPkg
Contributor: YJY
Email:522432938@qq.com
如有错误,请批评指正。
打开julia的安装路径,找到文件夹 julia-1.x.x(如1.6.1) 如图
进入该文件夹找到etc
进入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等等,这些都是环境变量。更多可以看中文文档
PS: 不换也行,最新版的julia好像能自动选取一个最快的源。