On Wed, Mar 16, 2016 at 02:05:14PM +0100, Jordi Pujol Palomer wrote: > Hello, > > Working on a Linux system that bind mounts some > directories, have found frequent errors when moving files between > directories that belong to different mount points but are on the same > device. > The two attached patches solve these problems on a local filesystem. > Maybe we must test it on different configurations. NAK. This is absolutely deliberate; moreover, mount --bind $DIR $DIR is often used just to set such a boundary. -- To unsubscribe from this list: send the line "unsubscribe linux-fsdevel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
