admin管理员组

文章数量:1651560

来源：Ai4Energy的Julia相关文档集

  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/julia/"

就像这样

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

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

还有一些其它的比如LOAD_PATH 和DEPOT_PATH等等，这些都是环境变量。更多可以看中文文档

本文标签： 镜像国内Julia

版权声明：本文标题：julia换源(更换国内镜像站) 内容由热心网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：https://www.elefans.com/xitong/1729564391a1206427.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。