idris2-pack icon indicating copy to clipboard operation
idris2-pack copied to clipboard

Temporary directories not cleaned

Open joelberkeley opened this issue 9 months ago • 2 comments

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/

joelberkeley avatar May 26 '24 16:05 joelberkeley