On Fri, Apr 19, 2024 at 07:19:26PM +0000, Colberg, Peter wrote: > On Fri, 2024-04-19 at 16:24 +0300, andriy.shevchenko@xxxxxxxxxxxxxxx > wrote: > > > On Thu, Apr 18, 2024 at 09:30:48PM +0000, Colberg, Peter wrote: > > > > > On Tue, 2024-04-02 at 11:29 +0800, Xu Yilun wrote: > > > > > > > On Thu, Mar 28, 2024 at 08:04:29PM -0400, Peter Colberg wrote: ... > > > > > $ rg --sort=path -c dev_dbg drivers/fpga/ > > > > > > Side Q: is 'rg' an alias to `git grep`? > > > > > No, ripgrep; thanks for the hint to prefer `git grep` going forward. You're welcome! P.S. The motivation to ask is to point out that `git grep` does it much much faster as it goes via index, it's unlikely external tools use libgit2 or similar approaches when they are run in the Git repo. Nevertheless, I am always curious about such tools and open to learn :-) -- With Best Regards, Andy Shevchenko
