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

Published 20 hours ago • verified publisher icon stefan-hoeck

[ feature ] Automating Mid-Install Temporary Directory Cleanup

Open Matthew-Mosior opened this issue 6 months ago • 2 comments

This PR enables the removal of temporary directories that used to linger after a mid-install Ctrl+C.

To accomplish this, the idris2-async library is utilized to race two threads within the withTmpDir function:

  1. SigINT listener thread.
  2. Runner via finally thread.

This PR closes #288.

Matthew-Mosior avatar Aug 16 '24 03:08 Matthew-Mosior