dune icon indicating copy to clipboard operation
dune copied to clipboard

fix: atomically copy dir targets from sandbox

Open rgrinberg opened this issue 3 years ago • 0 comments

Instead of manually traversing the directory and moving things file by file, we rely on one call of [Unix.rename].

The advantage is that we move the direcory atomically. Previously, an error could interrupt the recursive rename and leave _build/ with some partially copied directory.

Signed-off-by: Rudi Grinberg [email protected]

ps-id: 39a65638-5953-4ed5-bcae-bbb13c63e46f

rgrinberg avatar Aug 10 '22 21:08 rgrinberg