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: 03:04 4th February 2025