Używam grep -iczęściej i odkryłem, że jest wolniejszy niż jego egrepodpowiednik, gdzie dopasowuję się do dużej lub małej litery każdej litery:
$ time grep -iq "thats" testfile
real 0m0.041s
user 0m0.038s
sys 0m0.003s
$ time egrep -q "[tT][hH][aA][tT][sS]" testfile
real 0m0.010s
user 0m0.003s
sys 0m0.006s
Czy grep -iwykonuje dodatkowe testy, które egrepnie?
egrepjest szybszy niż grepdo momentu ustawienia, LANG=Ca potem oba są mniej więcej takie same.
userczas (który nie obejmuje czasu oczekiwania na dysk). Różnica jest rzędu wielkości.
grepodwrotnie, aby upewnić się, że nie mierzysz różnicy między buforowaniem dysku w pliku Flie.