alr toolchain needs "purge" command
I recently tried to update Alire to gnat internal 13. The command failed, due to disk full (I'm running in a virtual machine with a fairly small disk). So I manually deleted a bunch of stuff, including ~/.config/Alire/cache/dependencies/gnat-12*; then selecting gnat internal 13 worked.
There should be a way to delete old versions of the toolchain with an Alire command; perhaps
"alr toolchain --purge" to delete all not currently selected
"alr toolchain --delete " to delete a specific version.
alire-project / alire
Command-line tool from the Alire project and supporting library
285
Contributors get 50% of received funds after fees
How does funding with Polar work?
1
Pay now to fund the work behind this issue.
2
Get updates on progress being made.
3
Maintainer is rewarded once the issue is completed.
FAQ
Backer
You're funding impactful open source efforts
Contributor
You want to contribute to this effort
Maintainer
You want to get funding like this too