P.S. The patched script updates the mtime by doing:
echo "" >> "$TMP_FILE"
This is less than idea, since it adds a useless CR
to the end of the file. I tried:
: >> "$TMP_FILE"
which doesn't add anything to the file, but this failed
to change the mtime.
Perhaps you can think of something better.
--
Thomas
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

