Temporary directories not cleaned

[joelberkeley]

Looks like pack's not tidying temporary directories. I often Ctrl+C mid-install, might be the cause

$ ls .pack/
bin/     db/      .tmp0/   .tmp10/  .tmp12/  .tmp14/  .tmp16/  .tmp18/  .tmp2/   .tmp21/  .tmp4/   .tmp6/   .tmp8/   user/
.cache/  install/ .tmp1/   .tmp11/  .tmp13/  .tmp15/  .tmp17/  .tmp19/  .tmp20/  .tmp3/   .tmp5/   .tmp7/   .tmp9/

[stefan-hoeck]

Thanks for reporting this and sorry for the late response. You can remove such artifacts (together with older pack collections) with pack gc. Ideally, pack would catch interrupting signals and cleanup before terminating. I know this can be done with idris2-uv, but I'm not sure whether the stuff in base would be already enough here.

[Matthew-Mosior]

@stefan-hoeck Does pack need only rely upon base? I believe idris2-async could help here as well.