-
-
Notifications
You must be signed in to change notification settings - Fork 297
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
Pluto package manager & Pkg.develop #1304
Comments
I was unsure about it, and did not yet think through all possible use cases and edge cases, so I disabled it to avoid a difficult backwards-compat situation later. The goal for now is: use plutopkg if and only if a notebook does not set up a package environment itself. That is simple logic to maintain, and simple for users to understand. Eventually, I want to make |
Thanks for taking the time to respond even when on holidays :) |
I would also like that Pkg.add a not-yet-registered URL package not to disable the Pluto package manager. |
I've been finding myself wanting this. For now I've just been making use of many point releases (in private registry) to use it with PlutoPkg but that's not a great solution. But, I appreciate finding the workaround noted in the first post. |
With JuliaLang/Pkg.jl#3783 we can describe local and git packages in Project.toml :) |
I'm curious, what was the motivation to disable PlutoPkg when a package is
develop
ed manually?Pluto.jl/src/packages/Packages.jl
Lines 20 to 23 in 163b7ce
I use Pluto +
Pkg.develop
together and didn't observe any issues yet. It's just somewhat inconvenient to sidestep the above check with:The text was updated successfully, but these errors were encountered: