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
I think it would be great if dune-release can be trained to clean up after itself. Sadly, I find lots of empty /tmp/dune-release-*.stderr files around. is there any reason for this?
The text was updated successfully, but these errors were encountered:
The file is deleted at the end of program execution using a Stdlib.at_exit handler.
So it could be that dune-release crashes somehow so the at_exit handlers aren't called?
However I'm not much of a fan of this approach anyway, so maybe switching to with_tmp_output or with_tmp_oc is a cleaner alternative as the removal happens closer to the code that's creating it.
I think it would be great if
dune-release
can be trained to clean up after itself. Sadly, I find lots of empty/tmp/dune-release-*.stderr
files around. is there any reason for this?The text was updated successfully, but these errors were encountered: