`pack gc` fails to clear temporary storage

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License

90 stars 23 forks source link

`pack gc` fails to clear temporary storage #253

Closed AlgebraicWolf closed 11 months ago

AlgebraicWolf commented 11 months ago

I ran into an issue where pack had run out of .tmpXY directories. As far as I understand, pack gc is supposed to fix this. However, when trying to run pack gc, instead of pack attempting to clear out the storage, error message re-appears:

[ fatal ] Failed to create temporary directory.
          Please check directory `PACK_DIR` and make sure to remove
          all `.tmpXY` directories you no longer need.

stefan-hoeck commented 11 months ago

Thanks for reporting this. There is no easy way around the issue you describe, because the garbage collector requires itself a temporary directory. However, I addressed this in PR #254 in such a way that users will only experience the error described here if they keep ignoring pack's (new) warning about too many temporary directories being taken.