On 2022-04-26 19:01:26 +0200, Thomas Schmitt wrote:
> It looks as if the file indeed does not exist when you inquire it.
> So if it got created by the script, maybe it was deleted or renamed
> shortly afterwards and created again 30 seconds later ?
The script doesn't do that. The file is created with
echo "* $fqdn ($(${1:-.}/config.guess) / ${line#PROC:})" > "$out"
and every other line that writes to the file use >> "$out".
Note that if the file were created again, the first line with the FQDN
would no longer be in the file, but the line is still there.
--
Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
