Source code for pm4py.objects.log.exporter.xes.util.compression
import gzip
import os
import shutil
import tempfile
# this is ugly, should be done internally in the exporter...
[docs]
def compress(file):
"""
Compress a file in-place adding .gz suffix
Parameters
-----------
file
Uncompressed file
Returns
-----------
compressed_file
Compressed file path
"""
extension = file.split(".")[-1] + ".gz"
fp = tempfile.NamedTemporaryFile(suffix=extension)
fp.close()
with open(file, "rb") as f_in:
with gzip.open(fp.name, "wb") as f_out:
shutil.copyfileobj(f_in, f_out)
shutil.move(fp.name, file + ".gz")
os.remove(file)
return file