On: Pipes and Filters

[JetSpiegel]

You can use <bigfile.txt head | grep | awk

[_pvxk → JetSpiegel]

So if I want to change that to the whole file, I "just" have to Ctrl+A Meta+F Meta+F Meta+D Ctrl+D Ctrl+D RET. That's not really an improvement – especially since it depends on how many dots or similar are in the filename.

Also, that's a Useless Use of head, since grep has the option "-m10"

[JetSpiegel → _pvxk]

grep -m "Stop reading a file after NUM matching lines", while head -10 takes the first 10 lines and searches on them. Different things.

[_pvxk → JetSpiegel]

doh! you're right, I wasn't thinking :-)