[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: zgrep -<NUM> doesn't work if <NUM> is two digits or greater
From: |
Jim Meyering |
Subject: |
Re: zgrep -<NUM> doesn't work if <NUM> is two digits or greater |
Date: |
Tue, 07 Aug 2012 21:30:37 +0200 |
Thomas Bushnell, BSG wrote:
> Cool. Dan Bloch should get the credit for finding the bug I believe.
...
> Subject: [PATCH 1/2] zgrep: handle a multi-digit context option like -15
>
> * zgrep.in: Do not malfunction when given an option like -15.
> Before, it could mistake the pattern for a file name:
>
> $ echo x | gzip | zgrep -15 x
> gzip: x.gz: No such file or directory
>
> * NEWS (Bug fixes): Mention it.
> Reported by Thomas Bushnell: https://bugs.launchpad.net/bugs/1032831
Thanks for the info. I've adjusted the commit log accordingly
and will push tomorrow:
Reported by Dan Bloch via Thomas Bushnell in
https://bugs.launchpad.net/bugs/1032831