Especially since grep -q exists. It would never come to my mind to direct grep's...

		remram on May 25, 2023 \| parent \| context \| favorite \| on: Cases where full scans are better than indexes Especially since grep -q exists. It would never come to my mind to direct grep's output to /dev/null, I wonder how this optimization came to be?