Temporary directories not cleaned

stefan-hoeck / idris2-pack

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

99 stars 26 forks source link

Temporary directories not cleaned #288

Open joelberkeley opened 4 months ago

joelberkeley commented 4 months ago

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 commented 3 months ago

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 commented 1 month ago

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