From d9b0c049ab274e21b3c3d88bba538596cf1786f7 Mon Sep 17 00:00:00 2001 From: pantonshire Date: Thu, 1 Jun 2023 16:51:11 +0100 Subject: [PATCH] gzip compress the unicode data --- data.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/data.py b/data.py index 127b12a..527fd14 100644 --- a/data.py +++ b/data.py @@ -51,6 +51,7 @@ from enum import Enum from struct import pack from typing import Optional +from gzip import compress class StringTableIndex: def __init__(self, bs: bytes): @@ -422,5 +423,7 @@ encoded_data.extend(group_table) encoded_data.extend(char_data_table) encoded_data.extend(string_table) -with open('unicode_data_encoded', 'wb') as fd: - fd.write(encoded_data) +compressed_data = compress(encoded_data) + +with open('unicode_data_encoded.gz', 'wb') as fd: + fd.write(compressed_data)