Search Results

Yes, but only the writing end of the pipe, because if you close it, the reading end will close it by itself. At least this is what the example in th gawk docs say.

If you want to explicitly close...

This is fine, because it closes the *writer*. You are closing the *reader*.

You need to close the writing side of the pipe, not the reading side. From the gawk manual:

======
For example, if you open a pipe with this: "sort -r names" | getline foo
then you must close...