Ho usato grep -i
più spesso e ho scoperto che è più lento del suo egrep
equivalente, dove combatto contro le lettere maiuscole o minuscole di ogni lettera:
$ 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
Esegue grep -i
test aggiuntivi che egrep
non lo fanno?
egrep
è più veloce di grep
fino a quando non ho impostato LANG=C
e quindi sono all'incirca uguali.
user
ora (che non include il tempo di attesa del disco). C'è un ordine di grandezza nella differenza.
grep
contrario, per assicurarti di non misurare la differenza tra la memorizzazione nella cache del disco del flie.