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

Tip

Contents:JuliaPkg

Contributor: YJY

Email:522432938@qq.com

如有错误,请批评指正。

  1. 打开julia的安装路径,找到文件夹 julia-1.x.x(如1.6.1) 如图

在这里插入图片描述

  1. 进入该文件夹找到etc

在这里插入图片描述

  1. 进入etc 再进入一个文件夹,有一个startup.jl

在这里插入图片描述

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

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

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

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

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

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

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

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