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: 14:22 11th November 2024