On 08/02/2010 09:47 PM, Paul Eggert wrote:
But the patch you proposed doesn't check for pipes. It disables saving
time stamps when no file arguments are given. This would mean
that "gzip<file1>file1.gz" would not record FILE1's time stamp.
Yes, missed that.
> Of course gzip could behave differently for pipes than for other kinds
> of files, but it's problematic to make pipes special cases.
Ah, someone might set the timestamp even for a pipe. I missed this
possibility too.
Thank you for the explanation.
