-
-
Notifications
You must be signed in to change notification settings - Fork 269
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
Feature request: registry update
does not fix a broken registry
#2017
Comments
Sorry I just realised that EDIT: not always true? #2017 |
Windows presumably? |
Yes! |
The move to a tarball registry should mean this is fixed, unless the user is sustaining a non-tarball registry.. which might be a lot of people who are upgrading from older versions? |
This should only be the case if one is using git. So I think this can be closed. |
One of our students had a broken registry: the folder
~/.julia/registries/General
was missing theA
throughF
subfolders (not sure why), but runningregistry update
did not fix it.The solution was to delete the folder manually, but would it be possible for
registry update
to do an integrity check?Or could we add a new method to reset a registry?The text was updated successfully, but these errors were encountered: