tag 434429 + patch retitle 434429 zgrep -h does not suppress filenames thanks
Contrary to the original title of this bug report, zgrep --no-filenames works just fine. As clarified in the long description, it is the equivalent short option, zgrep -h, that gets swallowed. Simple patch for zgrep in the current unstable version 1.3.12-4 is attached. Please apply. Thanks, Daniel.
--- /bin/zgrep 2007-12-20 02:39:01.000000000 +0100 +++ /bin/zgrep 2008-01-14 21:52:01.000000000 +0100 @@ -105,7 +105,7 @@ files_with_matches=1;; (-L | --files-witho*) files_without_matches=1;; - (--no-f*) + (-h | --no-f*) no_filename=1;; (-V | --v | --ve | --ver | --vers | --versi | --versio | --version) echo "$version" || exit 2