stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

[ feature request ] Add support for alternative sources of package collections #281

Open buzden opened 4 months ago

buzden commented 4 months ago

I ran into a problem that some upstream package (which is not yet present in the pack collection) requires some additional or alternative versions of some packages, and thus downstream package needs to copy all the settings of upstream's pack.toml to their local pack.toml. I was thinking of how this can be better, and realised that alternative sources of collections can help. As it turned out, I'm not the only one who is struggling with this problem.

So, what I suggest is to make able people to create their own pack collections easily and be able to use them easily. For that, I think of the following steps that we can achieve this:

stefan-hoeck commented 3 months ago

Sorry for the late response. This would surely be a nice thing to have, but it will require some planning - so of which you have already done above - and I'm afraid I won't be able to tackle this before the summer (earliest).