3 ms·

TIL you can pipe into files in awk. I've never come across this feature somehow. Is it commonly used?