Re: Change the grep command called by git with alternative tools, such as ug.
- From
Matěj Cepl <mcepl@cepl.eu>
- Date
- Jan 2, 2025, 13:00 UTC
- Message-ID
- <D6RLU4BY374I.GQY9MLMV1AZJ@cepl.eu>
- In-Reply-To
- <CAGP6POJX9GFsNkgGd7o9Pr-tFoz0sgRk51vVG4P0Kn1DPZe+3Q@mail.gmail.com>
On Thu Jan 2, 2025 at 12:49 PM CET, Hongyi Zhao wrote:
> $ git grep -i jobflow > > I tried to replace grep with ug, but failed as follows:
AFAIK, git grep doesn’t use external grep(1) binary on its own, but rather it uses its own (and slightly different) algorithm. Certainly, calling git-ug (or git-rg) will do absolutely nothing as long as you have no git-ug binary in your $PATH.
Best,
Matěj
-- http://matej.ceplovi.cz/blog/, @mcepl@en.osm.town GPG Finger: 3C76 A027 CA45 AD70 98B5 BC1D 7920 5802 880B C9D8 When God put a calling on your life, He already factored in your stupidity. -- Unknown, mentioned in a sermon