J'ai utilisé grep -i
plus souvent et j'ai découvert qu'il est plus lent que son egrep
équivalent, où je fais correspondre le caractère majuscule ou minuscule de chaque lettre:
$ 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
Est grep -i
- ce que des tests supplémentaires egrep
ne le font pas?
egrep
c'est plus rapide que grep
jusqu'à ce que je règle LANG=C
, puis les deux sont à peu près les mêmes.
user
heure (qui n'inclut pas le temps d'attente pour le disque). Il y a un ordre de grandeur dans la différence.
grep
'inverse, pour vous assurer que vous ne mesurez pas la différence entre la mise en cache disque du fichier.