gzip output stats file #7
Description
In some cases, the output stats can take quite a bit of space (a couple of Gb).
Ideally, if stats file extension is 'gz', the output would be compressed.
{{ message }}
In some cases, the output stats can take quite a bit of space (a couple of Gb).
Ideally, if stats file extension is 'gz', the output would be compressed.