You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If they're in /tmp we shouldn't need to care about it.
I can imagine having some kind of trap 'cleanup' EXIT that would remove files if things borked before we ran the command. But once it's run, we shouldn't delete anything.
Longer term, we'd like to be able to store and name try results by some SHA-like code, which means keeping them somewhere more durable.
Activity
mgree commentedon Jun 24, 2023
If they're in
/tmpwe shouldn't need to care about it.I can imagine having some kind of
trap 'cleanup' EXITthat would remove files if things borked before we ran the command. But once it's run, we shouldn't delete anything.Longer term, we'd like to be able to store and name
tryresults by some SHA-like code, which means keeping them somewhere more durable.[-]cleanup[/-]mgree commentedon Jun 24, 2023
A good first issue:
CLEANUPvariableunshareormountfailmgree commentedon Apr 14, 2025
#186 simplifies what needs to be done here: just drop the directory. What's not clear to me is: when exactly would we want to do that?
Currently
try-commitis destructive, so that's a good time to trash the directory. (as much as #93 permits).