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

Make package files read-only for Pkg.add #29439

Closed
wants to merge 1 commit into from
Closed

Conversation

timholy
Copy link
Member

@timholy timholy commented Sep 30, 2018

Closes JuliaLang/Pkg.jl#32

I wanted to get started on timholy/Revise.jl#146 but I think doing this first is basically a prerequisite to any kind of sensible implementation.

@KristofferC
Copy link
Member

KristofferC commented Sep 30, 2018

Could you please reopen this towards the Pkg.jl repo. We try to keep all Pkg development there for more focused discussion.

@timholy timholy closed this Sep 30, 2018
@timholy timholy deleted the teh/pkgadd_readonly branch September 30, 2018 16:26
bors bot added a commit to JuliaLang/Pkg.jl that referenced this pull request Oct 1, 2018
785: Make package files read-only for Pkg.add r=KristofferC a=timholy

Closes #32.

Test fail for me locally with a JSON error, but hopefully that's just because an existing JSON installation or something. Tests passed at JuliaLang/julia#29439, for whatever that is worth.

Error:
```julia
ERROR: LoadError: LoadError: LoadError: Unsatisfiable requirements detected for package JSON [682c06a0]:
 JSON [682c06a0] log:
 ├─possible versions are: [0.1.0-0.1.1, 0.2.0-0.2.4, 0.3.0-0.3.9, 0.4.0-0.4.6, 0.5.0-0.5.4, 0.6.0-0.6.1, 0.7.0-0.7.1, 0.8.0-0.8.3, 0.9.0-0.9.1, 0.10.0, 0.11.0, 0.12.0, 0.13.0, 0.14.0, 0.15.0-0.15.2, 0.16.0-0.16.4, 0.17.1-0.17.2, 0.18.0, 0.19.0] or uninstalled
 ├─restricted to versions 0.16.0-0.16 by an explicit requirement, leaving only versions 0.16.0-0.16.4
 └─restricted by julia compatibility requirements to versions: [0.18.0, 0.19.0] or uninstalled — no versions left
```

Co-authored-by: Tim Holy <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants