bug-gzip
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

zgrep -<NUM> doesn't work if <NUM> is two digits or greater


From: Thomas Bushnell, BSG
Subject: zgrep -<NUM> doesn't work if <NUM> is two digits or greater
Date: Mon, 6 Aug 2012 11:39:18 -0700

Create a gzipped file:

   $ for i in $(seq 1 100); do echo $i; done > file.txt
   $ gzip file.txt

Then:

   $ zgrep -9 17 file.txt.gz
   8
   9
   ...
   25
   26

works.  But:

   $ zgrep -10 17 file.txt.gz
   gzip: 17.gz: No such file or directory

fails.

Note that "grep -9 17 file.txt" and "grep -10 17 file.txt" work just
fine.

(https://bugs.launchpad.net/bugs/1032831)

Please include me in the CC on any replies.

Thomas


reply via email to

[Prev in Thread] Current Thread [Next in Thread]