3 commits

Author	SHA1	Message	Date
Théophane Hufschmitt	6f89fb6008	rename: Fallback to a copy if the filesystems mismatch ... In `nix::rename`, if the call to `rename` fails with `EXDEV` (failure because the source and the destination are in a different filesystems) switch to copying and removing the source. To avoid having to re-implement the copy manually, I switched the function to use the c++17 `filesystem` library (which has a `copy` function that should do what we want). Fix #6262	2022-08-03 10:27:25 +02:00
Théophane Hufschmitt	c2de0a232c	Create a wrapper around stdlib’s rename ... Directly takes some c++ strings, and gently throws an exception on error (rather than having to inline this logic everywhere)	2022-08-03 10:27:25 +02:00
Théophane Hufschmitt	8119390abc	Move some fs-related functions to their own file ... Unclutter `util.cc` a bit	2022-08-03 10:27:25 +02:00