4 ms·
With sed instead of grep, and probably not much better, but in a single command: cat hello | sed -n '/foo/{ /bar/{ /baz/ p }}'
by danadam 5y ago
With sed instead of grep, and probably not much better, but in a single command:
cat hello | sed -n '/foo/{ /bar/{ /baz/ p }}'
- ravoori 5y agowith awk: <hello awk '/foo/ && /bar/ && /baz/'