[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#19998: GREP_OPTIONS alternative?
From: |
Santiago Ruano Rincón |
Subject: |
bug#19998: GREP_OPTIONS alternative? |
Date: |
Thu, 12 Mar 2015 09:04:56 +0100 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
Hi,
El 11/03/15 a las 17:58, Paul Eggert escribió:
...
> On the other hand, now that I've tested it, I see that when I type 'fgrep'
> Bash invokes it as '/bin/fgrep', which surprises me and which defeats the
> purpose of having 'fgrep' look at $0. I installed the attached patch, which
> should fix that.
...
Then, please consider the attached patch, to clean src/Makefile.am up.
This shouldn't belong to this topic, but is there any reason to call
this wrapper with a shell other than sh (I've set it to /bin/sh in
Debian)
Cheers,
Santiago
grep-Makefile-wrapper.patch
Description: Text Data
- bug#19998: GREP_OPTIONS alternative?, (continued)
- bug#19998: GREP_OPTIONS alternative?, Paul Eggert, 2015/03/04
- bug#19998: GREP_OPTIONS alternative?, Christian Kujau, 2015/03/04
- bug#19998: GREP_OPTIONS alternative?, Paul Eggert, 2015/03/04
- bug#19998: GREP_OPTIONS alternative?, Norihiro Tanaka, 2015/03/05
- bug#19998: GREP_OPTIONS alternative?, Christian Kujau, 2015/03/05
- bug#19998: GREP_OPTIONS alternative?, Paul Eggert, 2015/03/11
- bug#19998: GREP_OPTIONS alternative?, Christian Kujau, 2015/03/11
- bug#19998: GREP_OPTIONS alternative?, Paul Eggert, 2015/03/11
- bug#19998: GREP_OPTIONS alternative?, Christian Kujau, 2015/03/11
- bug#19998: GREP_OPTIONS alternative?, Paul Eggert, 2015/03/11
- bug#19998: GREP_OPTIONS alternative?,
Santiago Ruano Rincón <=
- bug#19998: GREP_OPTIONS alternative?, Christian Kujau, 2015/03/13
- bug#19998: GREP_OPTIONS alternative?, Paul Eggert, 2015/03/13
- bug#19998: GREP_OPTIONS alternative?, Christian Kujau, 2015/03/14