4 ms·

There are faster tools than grep for dealing with large files. ag the silver searcher workes okay.

• version_five 4y ago
  silver searcher Thanks for the reminder, I knew something like this existed but I couldn't remember what it was called!