-
-
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
Fix download agent search relying on throwing of Sys.which(). Update t #28157 #28682
Conversation
base/download.jl
Outdated
end | ||
end | ||
if downloadcmd == "wget" | ||
if !isempty(Sys.which("wget")) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
shouldn't this be Sys.which("wget") !== nothing
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, not sure where I got the idea that empty strings were being returned
Note that this changes behavior slightly, in that it will search the PATH every single time we invoke it, rather than caching the result as was done previously. I personally don't care that much, as I think that's kind of a premature optimization, but it was there. |
Seems like a bug fix to me where the bug is " |
Causing a CI failure:
|
Can this be tested? |
base/download.jl
Outdated
@@ -29,7 +29,7 @@ else | |||
try | |||
run(`wget -O $filename $url`) | |||
catch | |||
rm(filename) # wget always creates a file | |||
isfile(filename) && rm(filename) # wget always creates a file |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
just do rm(filename, force=true)
Bump, what should we do here? Just merge? |
Closes #28157.