3 ms·Nice use of ripgrep (aka. rg or recursive grep) the best tool to grep today.by wolframio 7y agoNice use of ripgrep (aka. rg or recursive grep) the best tool to grep today.