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

Support TestEnv.activate to activate old package management #2775

Closed
schlichtanders opened this issue Jan 15, 2024 · 2 comments
Closed

Support TestEnv.activate to activate old package management #2775

schlichtanders opened this issue Jan 15, 2024 · 2 comments
Labels
good first issue Good for newcomers other packages Integration with other Julia packages package manager Pluto's built-in package manager

Comments

@schlichtanders
Copy link

Hi there, I just run into the wish to activate the test environment of my current project - inside Pluto! (aka using Pluto as the IDE).

Pluto already supports a couple of different triggers to activate the old package management, but not yet TestEnv.activate

https://github.com/fonsp/Pluto.jl/blob/be51e4bf8ceaf14bbc5977892a9ac74afefb54c0/src/packages/Packages.jl#L20C1-L35

@fonsp
Copy link
Owner

fonsp commented Jan 16, 2024

That would be great! Can you make a PR? You don't need to add a test.

@fonsp fonsp added package manager Pluto's built-in package manager good first issue Good for newcomers other packages Integration with other Julia packages labels Jan 16, 2024
@schlichtanders
Copy link
Author

I am wondering whether what I wished for makes actually sense.

  • If I want to use TestEnv.activate, I somehow need access to TestEnv ...
  • and for the script-file to also be valid, I probably should install it inside another "activation" environment (could also be the projects normal environment)
  • hence I will anyway use something like Pkg.activate("my-TestEnv-bootstrap-environment"); import TestEnv; TestEnv.activate("actual-environment")

Summary: now I think TestEnv is already perfectly supported. Closing this issue for now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
good first issue Good for newcomers other packages Integration with other Julia packages package manager Pluto's built-in package manager
Projects
None yet
Development

No branches or pull requests

2 participants