From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,17f674692867d416
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Atomic file creation
References: 
 <c06d32c4-e160-4a74-9f7a-efe3d7108cc8@v25g2000yqk.googlegroups.com>
 <be17a931-d9c4-47b6-8ede-c20e144f3af7@a6g2000yqm.googlegroups.com>
 <u4on1b2z3.fsf@stephe-leake.org>
 <c5d6198d-a101-4347-95ec-8366fdb6e88d@d20g2000yqh.googlegroups.com>
From: Stephen Leake <stephen_leake@stephe-leake.org>
Date: Sat, 09 Jan 2010 10:23:06 -0500
Message-ID: <uzl4nwbdx.fsf@stephe-leake.org>
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (windows-nt)
Cancel-Lock: sha1:Ede7B+X1mLxn26Qy80GteKkkr5Q=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: b0dff4b489f7de197caa729751
Xref: g2news1.google.com comp.lang.ada:8688
Date: 2010-01-09T10:23:06-05:00
List-Id: <comp.lang.ada>

vlc <just.another.spam.account@googlemail.com> writes:

> 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 (?).

yes, but it might depend on your OS, and on what filesystem you are
using. In Unix, the real issue is what "filesystem" the two paths
point to; they have to be the same. Different partitions are normally
different filesystems.

-- 
-- Stephe