如何更改默认的下载器?


#1

用CURL有许多二进制依赖无法下载,但是用aria2c可以下载,是否可以更改默认的下载工具?


#2

重载 Base.download


#3

把它加到startup里,完美解决了装包难的问题,太好了


#4

方便分享下您的修改吗?特别是重载部分是如何写的,我很好奇。我自己写的实在是很难看。


#5

import Base: download
isload() = println(“yes”)
function download(url::AbstractString, filename::AbstractString)
if Sys.which(“aria2c”) !== nothing
dirna = dirname(filename)
basena = basename(filename)
run(aria2c -c -d $dirna -o $basena $url)
elseif Sys.which(“curl”) !== nothing
run(curl -g -L -f -o $filename $url)
elseif Sys.which(“wget”) !== nothing
try
run(wget -O $filename $url)
catch
rm(filename, force=true)
rethrow()
end
elseif Sys.which(“fetch”) !== nothing
run(fetch -f $filename $url)
else
error(“no download agent available; install curl, wget, or fetch”)
end
filename
end
function download(url::AbstractString)
filename = tempname()
download(url, filename)
end
download(url, filename)


#6

非常感谢!我试试。

如果可以把这个变化提到Julia的PR中,增加这个下载工具,在配置文件中可以指定使用下载工具的尝试顺序,那么所有人都能够受益。


#7

但是好像安装二进制大多用bindeps,这样的话需要改写这个库才有用,重载系统默认下载器没用


#8

您举个例子?我查了几个包,包括以前下载一直比较慢的GR,其中用到的下载都是调用download。


#9

前天在一个新装的Linux上重新装Julia包,其中ZMQ下载失败,用的就是binarydeps,我看了下,修改也容易,只要环境变量配置下,然后修改PlatformEngines.jl,增加aria2的调用即可。依葫芦画瓢,挺简单,我就不贴代码了。改完后,要记着把之前编译过的jl文件删除,以便新代码预编译。供参考。


#10

因为网络好了我没有捣鼓这个了,不过你的经验对于许多人应该还是很有意义的:+1: