2 ms·
If I understand this correctly, it will gzip every line separately instead of gzipping them together... it's not really the most effective but it does work
by rakoo 5y ago
If I understand this correctly, it will gzip every line separately instead of gzipping them together... it's not really the most effective but it does work
- aidenn0 5y agoIt does not. The pipe command leaves the pipe open and successive pipes with identical strings remain open until the pipe is explicitly closed. [edit] Here's the link to the gawk documentation, but most flavors of AWK work similarly: https://www.gnu.org/software/gawk/manual/gawk.html#Close-Files-And-Pipes https://www.gnu.org/software/gawk/manual/gawk.html#Close-Fil...
- rakoo 5y agoWow, this is amazing. It really shows how complexity should be managed in the tool so that the user can do the naive thing and have it be accidentally optimal
- aidenn0 5y agoIt is surprising to people who expect them to behave like shell pipelines and redirections though. I somehow never got bit by it, but have definitely corrected other's awk scripts who didn't know about this feature.