Tweet · 9 Dec 2017, 14:03 UTC

Replying to @alexanderdanilo and @glazou, @rdeltour

suggested ripgrep, and it is even faster than find!