@burntsushi5 Reading your excellent speed breakdown of ripgrep from a couple years ago. Good stuff! One minor detail: `git grep` can be run outside of a git repo with the `--no-index` argument or the grep.fallbackToNoIndex = true setting
Yeah, I was a bit weaselly about this. That's why I said, "doesn't work *well* outside git repos." I suspect it will effectively cause it to disable all filtering, and I'm not sure if it works well across git repos either.
-
-
Yeah I hear you. I use it outside of repos but mostly just because it's already installed everywhere. Definitely not as fast as rg in any case
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.