Random musings about software, programming, and related fields.
Grep too slow? Use git-grep
If you need to find a file, and are on a git repo, use `git grep` instead of grep. Similar options, much, much faster.
Example, on a directory with 11K+ files: grep -r . 'float: none' -exclude-dir=.git 56.96s user 0.70s system 99% cpu 58.127 total git grep 'float: none' 0.42s user 1.05s system 335% cpu 0.438 total 130x+ improvement :D