On Sun, Oct 13, 2024 at 10:07:04PM +0300, Andy Shevchenko wrote: > Side note: `git grep ...` is much much faster if you have a Git tree at hand. Thanks for the tip! I usually use ripgrep, but git grep has some interesting features.
On Sun, Oct 13, 2024 at 10:07:04PM +0300, Andy Shevchenko wrote: > Side note: `git grep ...` is much much faster if you have a Git tree at hand. Thanks for the tip! I usually use ripgrep, but git grep has some interesting features.
|