def mergeDirectory(directory: File)(implicit linkOptions: LinkOptions, copyOptions: CopyOptions): Unit
Moves this file's contents, if it's a directory, or simply copies the file, and merges it with the given file, if it's a directory (will throw an exception otherwise). Performs a similar operation to java.nio.file.Files.move, however, unlike the aforementioned function, will handle the case where the destination directory is non-empty.
Moves this file's contents, if it's a directory, or simply copies the file, and merges it with the given file, if it's a directory (will throw an exception otherwise). Performs a similar operation to java.nio.file.Files.move, however, unlike the aforementioned function, will handle the case where the destination directory is non-empty.