[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#36933: Default option for rgrep -r is not supported with zgrep
From: |
Robert Weiner |
Subject: |
bug#36933: Default option for rgrep -r is not supported with zgrep |
Date: |
Mon, 5 Aug 2019 19:40:25 -0400 |
The man page I read for zgrep on Linux said it supports -r so maybe the problem
is with the combination of options. Could you test further to isolate what
triggers it and verify the version of zgrep you are using.
Thanks.
-- Bob
> On Aug 5, 2019, at 3:04 AM, Jean Louis <bugs@gnu.support> wrote:
>
> I use: Editor: GNU Emacs 27.0.50 (build 3, x86_64-pc-linux-gnu, X
> toolkit, Xaw3d scroll bars)
>
> Hyperbole: 7.0.3
> Sys Type: x86_64-pc-linux-gnu
> OS Type: gnu/linux
> Window Sys: x
> News Reader: Gnus v5.13
>
> -*- mode: grep; default-directory: "~/Programming/emacs-lisp/" -*-
> Grep started at Mon Aug 5 09:03:07
>
> zgrep -insIHr --include="*.el" --include="*.el.gz" -e 'defcustom' .
> /usr/bin/zgrep: -r: option not supported
>
> Grep exited abnormally with code 2 at Mon Aug 5 09:03:07
>
>
>
> _______________________________________________
> Bug-hyperbole mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/bug-hyperbole
- bug#36933: Default option for rgrep -r is not supported with zgrep, Jean Louis, 2019/08/05
- bug#36933: Default option for rgrep -r is not supported with zgrep,
Robert Weiner <=
- bug#36933: Default option for rgrep -r is not supported with zgrep, Jean Louis, 2019/08/05
- bug#36933: Default option for rgrep -r is not supported with zgrep, Robert Weiner, 2019/08/05
- bug#36933: Default option for rgrep -r is not supported with zgrep, Robert Weiner, 2019/08/05
- bug#36933: Default option for rgrep -r is not supported with zgrep, Robert Weiner, 2019/08/05
- bug#36933: Default option for rgrep -r is not supported with zgrep, Robert Weiner, 2019/08/05
- bug#36933: Default option for rgrep -r is not supported with zgrep, Robert Weiner, 2019/08/05
- bug#36933: Default option for rgrep -r is not supported with zgrep, Jean Louis, 2019/08/06
- bug#36933: Default option for rgrep -r is not supported with zgrep, Jean Louis, 2019/08/06