|
From: | Dmitry Gutov |
Subject: | Re: grep-command: Ignore case if case-fold-search is non-nil |
Date: | Sun, 18 Sep 2016 14:55:16 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:49.0) Gecko/20100101 Thunderbird/49.0 |
On 18.09.2016 14:09, Tino Calancha wrote:
AFICT, if the user changes case-fold-search, `rgrep' and `lgrep' will follow that change, but `grep-find' seems keep unchanged. I guess the behaviour of `grep-find' should be similar as the other 2 commands.
Agreed. Maybe ideally, we get rid of both grep-command and grep-find-command, and generate both dynamically when required.
Then, if a user want to keep his/her `grep-command' constant, s?he just need to customize it.
That would also be fine, but I don't know when or why would the users want that.
[Prev in Thread] | Current Thread | [Next in Thread] |