git grep is pretty amazingly fast — get line numbers too with -n or git config --add grep.lineNumbers true 16:52 14th May 2013 updated: 06:39 2nd February 2026