Ah, thanks. Hadn't thought of looking on Github.
On Monday, 11 August 2014 16:46:12 UTC+2, Isaiah wrote: > > Yes - just not implemented yet. See some related discussion here: > https://github.com/JuliaLang/julia/issues/7054 > > > > On Mon, Aug 11, 2014 at 7:22 AM, Job van der Zwan <[email protected] > <javascript:>> wrote: > >> Somehow my Jewel installation got messed up after running Pkg.update(), >> giving me "metadata may be ahead of package" error messages. It was easy >> enough to fix: deleted the "Jewel" folder, opened Julia again and then ran >> Pkg.add("Jewel"). >> >> However, it made me wonder if a function to do all of that from the Julia >> command line might have been more appropriate - not everyone knows about >> the .julia folder, and ideally users don't need to interact with it. I >> guess I could have tried Pkg.rm followed by Pkg.add (didn't think of that >> until after fixing my issue). However, for packages indirectly installed >> because they were required by other package that would have the unwanted >> effect of them not automatically uninstalling if no other package requires >> them. (would Pkg.rm followed by Pkg.resolve have worked in that case?) >> >> So in short: would a "Pkg.reinstall()" function be a useful addition to >> Julia? >> >> (Apologies if this has already been discussed, I did a quick search and >> couldn't find any other discussions where this had been brought up. Given >> how obvious the functionality seems to be I probably just failed at >> searching though) >> > >
