Ho usato grep -ipiù spesso e ho scoperto che è più lento del suo egrepequivalente, 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 -itest aggiuntivi che egrepnon lo fanno?
egrepè più veloce di grepfino a quando non ho impostato LANG=Ce quindi sono all'incirca uguali.
userora (che non include il tempo di attesa del disco). C'è un ordine di grandezza nella differenza.
grepcontrario, per assicurarti di non misurare la differenza tra la memorizzazione nella cache del disco del flie.