Evite pipes sempre que possível

Um cat pipeado para um grep

time cat /etc/hosts | grep -v '^#\|^$\|^f\|^:'
127.0.0.1       localhost ubuntu
127.0.1.1       ubuntu

Tempo de execução
real    0m0.010s
user    0m0.004s
sys     0m0.008s

Um grep direto

time grep -v '^#\|^$\|^f\|^:' /etc/hosts
127.0.0.1        localhost ubuntu
127.0.1.1       ubuntu

Tempo de execução
real    0m0.005s
user    0m0.004s
sys     0m0.000s


Nenhum comentário:

Postar um comentário

Insira seu comentário - O mesmo será submetido à aprovação!

linux-cookbook

Grupos do Google
Participe do grupo linux-cookbook
E-mail:
Visitar este grupo