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

Use scratch space for notebook package environment directory #3145

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

fonsp
Copy link
Owner

@fonsp fonsp commented Feb 13, 2025

The directory where Project.toml + Manifest.toml is (secretly) stored for a running notebook is current a mktempdir() folder. This PR uses Scratch.jl for that, to fix #2641

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/fonsp/Pluto.jl", rev="scratch-for-notebook-env")
julia> using Pluto

@fonsp fonsp added bug Something isn't working backend Concerning the julia server and runtime package manager Pluto's built-in package manager labels Feb 13, 2025
@fonsp
Copy link
Owner Author

fonsp commented Feb 14, 2025

This can still lead to issues when running a notebook for more than 7 days...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backend Concerning the julia server and runtime bug Something isn't working package manager Pluto's built-in package manager
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Pkg env folder can get deleted during session
1 participant