1 comment

[ 2.8 ms ] story [ 8.0 ms ] thread
You could possibly try "grep -E" or "grep -e ... -e"? In this case you could drop 'cat' and make one pipe less.