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