[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#50097: gzip: add "--keep" option to keep original files unchanged
From: |
Krzysztof Żelechowski |
Subject: |
bug#50097: gzip: add "--keep" option to keep original files unchanged |
Date: |
Sun, 22 Aug 2021 03:02:41 +0200 |
Dnia sobota, 21 sierpnia 2021 15:55:45 CEST Jim Meyering pisze:
> I.e., we have to weigh "what could go wrong?" against "what would be
> improved?" In this case, the weights are small on each side. That alone
> argues against making a semantics-changing modification to such a tool.
The bad weight on the "for" side is 0, the counterexamples are unconvincing.
BR,
Chris
- bug#50097: gzip: add "--keep" option to keep original files unchanged, (continued)
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Antonio Diaz Diaz, 2021/08/19
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Rodrigo Campos, 2021/08/19
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Krzysztof Żelechowski, 2021/08/19
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Paul Eggert, 2021/08/19
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Krzysztof Żelechowski, 2021/08/20
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Paul Eggert, 2021/08/20
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Krzysztof Żelechowski, 2021/08/20
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Paul Eggert, 2021/08/20
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Krzysztof Żelechowski, 2021/08/20
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Jim Meyering, 2021/08/21
- bug#50097: gzip: add "--keep" option to keep original files unchanged,
Krzysztof Żelechowski <=
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Adler, Mark, 2021/08/22
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Krzysztof Żelechowski, 2021/08/22
- bug#50097: gzip: add "--keep" option to keep original files unchanged, Krzysztof Żelechowski, 2021/08/20