Re: Atomic file creation

[vlc <just.another.spam.account@googlemail.com>]

On Jan 5, 5:16 am, Stephen Leake <stephen_le...@stephe-leake.org>
wrote:
> Ada.Text_IO.Rename is not in the LRM. Ada.Directories.Rename is.
>
> Some OS's don't allow renaming files across devices; if you are on
> Unix, and Temp_File is /tmp/.., while "file" is /usr/..., and /tmp is
> mounted to disk1, while /usr is mounted to disk2, that might explain
> the use error.

Source and target are on the same device, but in different partitions.
Maybe that's an issue (?).

> It does seem you need to use an OS specific Form parameter to
> Copy_File.
>
> I think it's a bug that Rename raises Use_Error if Target_Name exists,
> but Copy_File does not, since Copy_File is supposed to be used to
> rename a file across devices.

Maybe it's a bug, in any case it's confusing ...

Thanks!