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

Capture IO from Pkg.rm #2924

Merged
merged 3 commits into from
May 23, 2024
Merged

Capture IO from Pkg.rm #2924

merged 3 commits into from
May 23, 2024

Conversation

fonsp
Copy link
Owner

@fonsp fonsp commented May 21, 2024

The logs from removing a package were not being captured, and they show in your terminal:

Scherm­afbeelding 2024-05-21 om 15 57 55

This is fixed, they should now show in the Status tab

@fonsp fonsp added backend Concerning the julia server and runtime package manager Pluto's built-in package manager labels May 21, 2024
Copy link
Contributor

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="capture-pkg-rm-logs")
julia> using Pluto

@fonsp fonsp merged commit b223265 into main May 23, 2024
10 of 11 checks passed
@fonsp fonsp deleted the capture-pkg-rm-logs branch May 23, 2024 12:23
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 package manager Pluto's built-in package manager
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant