bug#70540: grep -c -r | grep -v ':0$'

For everyone's critique, here are my changes (to grep 3.11): diff -u doc/grep.in.1.orig doc/grep.in.1 --- doc/grep.in.1.orig 2024-04-28 18:04:37.494096472 -0400 +++ doc/grep.in.1 2024-04-28 18:24:15.187984393 -0400 @@ -2,7 +2,7 @@ .de dT .ds Dt \\$2 .. -.dT Time-stamp: "2019-12-29" +.dT

bug#70511: Option to grep into compressed files

Antonio Diaz Diaz writes: > Dale R. Worley wrote: >> What doesn't seem to exist is something that does step 2 in a general >> way. The tool that is needed is something that reads the first few >> bytes of a file, determines which compression signature is present if >> any, then processes the