Skip to content
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

Open
aplavin opened this issue Jul 10, 2021 · 5 comments
Open

Pluto package manager & Pkg.develop #1304

aplavin opened this issue Jul 10, 2021 · 5 comments
Labels
enhancement New feature or request package manager Pluto's built-in package manager

Comments

@aplavin
Copy link
Contributor

aplavin commented Jul 10, 2021

I'm curious, what was the motivation to disable PlutoPkg when a package is developed manually?

Symbol("Pkg.develop") node.references ||
Symbol("Pkg.API.develop") node.references ||
Symbol("Pkg.add") node.references ||
Symbol("Pkg.API.add") node.references ||

I use Pluto + Pkg.develop together and didn't observe any issues yet. It's just somewhat inconvenient to sidestep the above check with:

import Pkg
dev = Pkg.develop
dev(path=".. path to mypackage ...")

using mypackage
using otherpackages  # managed by pluto
@fonsp
Copy link
Owner

fonsp commented Jul 11, 2021

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 develop possible through the GUI.

@aplavin
Copy link
Contributor Author

aplavin commented Jul 11, 2021

Thanks for taking the time to respond even when on holidays :)
Indeed, being conservative first and potentially adding stuff later is probably better than the other way round. Just had to report that dev seems to work just fine already - but of course I didn't test all possible corner cases.
Looking forward to a Pluto-style gui for this!

@liuyxpp
Copy link

liuyxpp commented Jul 23, 2021

I would also like that Pkg.add a not-yet-registered URL package not to disable the Pluto package manager.

@fonsp fonsp added enhancement New feature or request package manager Pluto's built-in package manager labels Feb 23, 2022
@BioTurboNick
Copy link
Contributor

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.

@fonsp
Copy link
Owner

fonsp commented Mar 7, 2024

With JuliaLang/Pkg.jl#3783 we can describe local and git packages in Project.toml :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request package manager Pluto's built-in package manager
Projects
None yet
Development

No branches or pull requests

4 participants