diff options
Diffstat (limited to 'tools/make_pinout_diagram/compress.py')
| -rw-r--r-- | tools/make_pinout_diagram/compress.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/make_pinout_diagram/compress.py b/tools/make_pinout_diagram/compress.py new file mode 100644 index 000000000..7e95ab035 --- /dev/null +++ b/tools/make_pinout_diagram/compress.py @@ -0,0 +1,10 @@ +import sys +import zlib + +data_str = sys.stdin.read() +compressed = zlib.compress(bytes(data_str, "utf-8"), wbits=10) +print( + f"{len(data_str) / len(compressed):.1f}x smaller: uncompressed={len(data_str)}, compressed={len(compressed)}", + file=sys.stderr, +) +print(compressed) |
