-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
file testset fails unless curl is installed (0.6.0) #22783
Comments
thanks for reporting and debugging a bit. throwing a different exception depending on what downloader is used doesn't seem desirable to me. why does |
sorry, clicked on the wrong button... |
Ah, gotcha. That seems like an oversight in #21071 then, maybe that rm call should use the force keyword argument? |
probably, yes |
I think this should be fixed with the new ´Downloads` stdlib. |
In particular, the exact failure is
This boils down to download() choosing wget to download the file. Wget is never run however, since run() throws the ArgumentError. The catch clause (interactiveutil.jl:595) assumes that wget did run, and tries to remove the newly created file, which fails with UVError since the file was not greated due to wget never being executed.
The text was updated successfully, but these errors were encountered: