4 ms·I did not know you could pipe to gzip... That's awesome!by tekromancr 11y agoI did not know you could pipe to gzip... That's awesome!