@MSGID: <ygav8cbh0ji.fsf@akutech.de> fb7f3822
@REPLY: 3@dont-email.me> df41c5a1
@REPLYADDR Ralf Fassel <ralfixx@gmx.de>
@REPLYTO 2:5075/128 Ralf Fassel
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: <ygav8cbh0ji.fsf@akutech.de>
@RFC-References: 1@dont-email.me>
<ygamsxoixhx.fsf@akutech.de>4@dont-email.me> <ygail8biyxm.fsf@akutech.de>1@dont-email.me>
<ygaedizitb9.fsf@akutech.de>2@dont-email.me> 5Arqz@news.chiark.greenend.org.uk>1@dont-email.me>
1@dont-email.me>3@dont-email.me>
@TZUTC: 0200
@PID: Gnus/5.13 (Gnus v5.13) Emacs/27.2
(gnu/linux)
@TID: FIDOGATE-5.12-ge4e8b94
* The Natural Philosopher <tnp@invalid.invalid>
| On 15/09/2023 16:12, vallor wrote:
| > Meanwhile, if you want to avoid locking your file, you might want to
| > write
| > a fresh file with a unique name, then rename() it,
| > which -- please correct me if I`m wrong -- should replace
| > the desired file atomically.
>
| I think the consensus is that it does.
>
| Presumably if the read process has the old file open, that will be
| valid until it closes it?

On Linux: yes.  Once a process has a file open, it sees the `old`
contents if the file is removed from disk.

https://stackoverflow.com/questions/2028874/what-happens-to-an-open-file-handle-
on-linux-if-the-pointed-file-gets-moved-or-d

R`
--- Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
 * Origin: usenet.network (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441