Thomas Hood wrote:
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.
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
2 matches
Mail list logo