Copy link
@basil-conto

basil-conto May 6, 2019

Collaborator

it's a waste to bloat the file list with them.

Oh, I didn't realise these were empty files being used solely for their names. There is a simple and canonical solution to this problem: instead of needlessly littering the directory tree with empty files, create temporary files on the fly via make-temp-file, and delete them in an unwind-protect.