-
Notifications
You must be signed in to change notification settings - Fork 44
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
Sources.list is not refreshed on update #58
Comments
Did you have any local modifications making the package dirty? I don't think there's much to do here on this, though backporting JuliaLang/julia#13506 should help. |
No, there were no local modifications at all. This was a relatively new julia install. Yes, JuliaLang/julia#13506 will fix this. |
One way to fix it could be to read the |
The
sources.list
file was updated in this commit: cb12a41When I updated WinRPM today via a
Pkg.update()
, it failed to build, trying to download the old URL. This turned out to be because I'd tried to do aPkg.add("ZMQ")
earlier which had loaded WinRPM and set its global variablesources
in__init__
.The reason was apparent as soon as I looked at the source code, but that was after spending a frustrating couple of hours trying to figure out why the download was failing.
The text was updated successfully, but these errors were encountered: