Method __make_zip

tools/tasks.py:388–398

Write all our logs to a zipfile

(prefix, filename, files)

    @staticmethod
    def __make_zip(prefix, filename, files):
        """Write all our logs to a zipfile"""

        from zipfile import ZIP_DEFLATED, ZipFile

        zf = ZipFile(filename, mode="w", compression=ZIP_DEFLATED)
        try:
            for name in files:
                zf.write(name, f"{prefix}/{os.path.basename(name)}")
        finally:
            zf.close()


class LinuxTask(Task):