Używam grep -i
częściej i odkryłem, że jest wolniejszy niż jego egrep
odpowiednik, 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 -i
wykonuje dodatkowe testy, które egrep
nie?
egrep
jest szybszy niż grep
do momentu ustawienia, LANG=C
a potem oba są mniej więcej takie same.
user
czas (który nie obejmuje czasu oczekiwania na dysk). Różnica jest rzędu wielkości.
grep
odwrotnie, aby upewnić się, że nie mierzysz różnicy między buforowaniem dysku w pliku Flie.