Hi, i wrote: > > So if it got created by the script, maybe it was deleted or renamed > > shortly afterwards and created again 30 seconds later ?
Vincent Lefevre wrote: > The script doesn't do that. The file is created with > echo "* $fqdn ($(${1:-.}/config.guess) / ${line#PROC:})" > "$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. This is indeed a riddle. But is there a hard reason not to insert stat "$out" >/tmp/stat_out_after_creation 2>&1 after that line and to compare /tmp/stat_out_after_creation with the stat(1) result when the expected file appears 30 seconds later ? > https://gitlab.inria.fr/mpfr/misc/-/blob/fed7770cf5f712871bd116ef80d93ea5885fc3f7/vl-tests/mpfrtests.sh > # Written in 2011-2021 by Vincent Lefevre <vinc...@vinc17.net>. So you are supposed to really know what it does. :)) Whatever, it is fewly plausible that the file would not show up in stat(1) or ls(1) but the script can happily do ... >> "$out" Each of these lines is supposed to do a name lookup of the file. Maybe another stat(1) should be placed between printf "OK, output in %s\n" "$out" and exit 0 Have a nice day :) Thomas