Ich habe grep -iöfter verwendet und festgestellt, dass es langsamer als das egrepÄquivalent ist, bei dem ich die Groß- oder Kleinschreibung jedes Buchstabens vergleiche:
$ 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
Führt grep -izusätzliche Tests durch, egrepdie nicht durchgeführt werden?
egrepist das schneller als grepbis ich es eingestellt habe LANG=Cund dann sind beide ungefähr gleich.
userZeit an (ohne Wartezeit auf die Festplatte). Es gibt eine Größenordnung in der Differenz.
grepSie es anders herum, um sicherzustellen, dass Sie nicht den Unterschied zwischen dem Disk-Caching des Flies messen.