Open IanButterworth opened 1 week ago
@StefanKarpinski two thoughts:
Downloads.download
throw a specific error for lack of disk space that we catch here?Out of curiosity, when do we think the "out of disk space" error is occurring?
tar.gz
file?tar.gz
file?Logically it could be either
Fixes https://github.com/JuliaLang/Pkg.jl/issues/2928
The error that Downloads.download throws when out of space (on a Mac) is