stefan-hoeck / idris2-pack

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

[ ux ] `pack gc` should exclude compiler from the global config in the presence of local one #246

Closed buzden closed 8 months ago

buzden commented 1 year ago

Consider that I use a local pack.toml with alternative compiler set in it. Consider that I ran pack gc in the context where local pack.toml is visible. I think that the global compiler should not be removed in that case, but it is removed, only one that in the local config stays present.