[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using --no-name with pipes by default for reproducibility (a patch i
|
From: |
Karel Klic |
|
Subject: |
Re: Using --no-name with pipes by default for reproducibility (a patch included) |
|
Date: |
Wed, 04 Aug 2010 17:38:27 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.11) Gecko/20100720 Fedora/3.0.6-1.fc12 Thunderbird/3.0.6 |
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.