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.

Sign up for GitHub

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

Jump to bottom

Remove legacy local package repositories #6729

Closed
phadej opened this issue Apr 22, 2020 · 1 comment
Closed

Remove legacy local package repositories #6729

phadej opened this issue Apr 22, 2020 · 1 comment
Assignees
@phadej
Labels
blocked: decision-needed re: sandbox Concerning sandboxes (removed in 3.4)
Milestone
3.4.0.0-rc1

Comments

@phadej
Copy link
Collaborator

phadej commented Apr 22, 2020

The manual says

This can be used to access repositories on the local file system. However, the layout of these local repositories is different from the layout of remote repositories, and usage of these local repositories is deprecated.

As file+noindex repositories are in 3.2, the legacy ones can be removed.
@phadej phadej self-assigned this Apr 22, 2020
@phadej
Copy link
Collaborator Author

phadej commented Apr 22, 2020

I tried to do this. It cannot be done because sandboxes are using local repositories for something.

Blocked #6445

@phadej phadej mentioned this issue Apr 22, 2020
Closed
phadej added a commit to phadej/cabal that referenced this issue Apr 22, 2020
@phadej
Resolve haskell#6729: WIP
10e4710
@phadej phadej mentioned this issue May 6, 2020
Closed
@phadej phadej closed this as completed in 61719b5 May 7, 2020
phadej added a commit that referenced this issue May 7, 2020
@phadej
Merge pull request #6730 from phadej/remove-local-repo
4ca3e08 
Resolve #6729: Remove local-repo
@phadej phadej mentioned this issue Jul 10, 2020
Merged
@phadej phadej added this to the 3.4.0.0-rc1 milestone Jul 13, 2020
@andreasabel andreasabel added the re: sandbox Concerning sandboxes (removed in 3.4) label Oct 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@phadej phadej

Labels
blocked: decision-needed re: sandbox Concerning sandboxes (removed in 3.4)
Projects
None yet
Milestone
3.4.0.0-rc1
Development

No branches or pull requests
2 participants
@phadej @andreasabel