Message327628
Hi Stéphane thanks for the proposal and the PR.
But are those options usefull in real life? (I may be biased as a Linux user).
I see this gzip CLI usefull to decompress a gzip file on platforms not having a gzip program installed, but I don't think it's usefull to compress. (Yet I'm OK with the current status-quo: If we allow to decompress, let's allow to compress, for consistency).
But why drifting from "let's allow to compress just for consistency" to "let's replace the gzip command"?
I mean, except is it's usefull in some cases that I don't see.
Also so does it mean we'll have to add the 16 other gzip options at the end? |
|
Date |
User |
Action |
Args |
2018-10-13 06:33:16 | mdk | set | recipients:
+ mdk, matrixise |
2018-10-13 06:33:16 | mdk | set | messageid: <1539412396.22.0.788709270274.issue34969@psf.upfronthosting.co.za> |
2018-10-13 06:33:16 | mdk | link | issue34969 messages |
2018-10-13 06:33:16 | mdk | create | |
|