Я використовую grep -i
частіше, і я виявив, що це повільніше, ніж його egrep
еквівалент, де я співпадаю з верхнім або нижнім регістром кожної літери:
$ 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
Чи grep -i
роблять додаткові тести, які egrep
не відповідають?
egrep
призначаючи весь час), швидше, ніж grep
поки я не встановлю, LANG=C
і вони обидва приблизно однакові.
user
час (який не включає час очікування диска). Є різниця на порядок.
grep
навпаки, щоб переконатися, що ви не вимірюєте різницю між кешуванням диска мухи.