Skip to content

Specify location of local cache #471

@joneshf

Description

@joneshf

In a similar way that the global cache can be altered by the person using spago:

https://github.com/spacchetti/spago/blob/5e4e134d3734eef4750bb6e9d224c3f1f47fa6fc/src/Spago/GlobalCache.hs#L140-L148

It would be nice if the local cache could be altered by the person using spago:
https://github.com/spacchetti/spago/blob/5e4e134d3734eef4750bb6e9d224c3f1f47fa6fc/src/Spago/FetchPackage.hs#L174-L176

Either an environment variable or a flag would work for me. Would you be willing to accept a PR for this change?

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions