4 ms·grep -q and you won’t need the redirect of stdout.by PeterWhittaker 2y agogrep -q and you won’t need the redirect of stdout.