Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Simplify generation of temporary files
Instead of manuall relying in `$$` being unique, with this patch we instead use `mktemp` which creates a unique, temporary file which we can use later. This also removes the possibility that we accidentially overwrite other existing files in the final location, e.g., from previous, failed runs. Via the default behavior of `mktemp` with this patch we also switch from forced generation of temporary files in `/tmp` to possibly `$TMPDIR` if set.
- Loading branch information