Liste des Groupes | Revenir à col misc |
On 12 Apr 2025 11:23:14 GMT, Stéphane CARPENTIER wrote:
>Yes. And then, I have to remove "cat". And only then can I write "grep".>
Which is more difficult than just writing "| grep" at the end of the
line.
Let’s see:
* CTRL/A, DEL, DEL, DEL, “grep” (8 keystrokes)
versus
* “|grep” (5 keystrokes)
>
That’s 60% more work. I suppose that’s a big chunk out of your working
day ...
>
Here’s an even more useless example:
>
cat «file» | grep «pattern» | wc -l
>
versus
>
grep -c «pattern» «file»
Les messages affichés proviennent d'usenet.