ESP8266_Treppenlicht/create_gz_files.py

#!/usr/bin/python3

import os, gzip
# https://www.mischianti.org/2020/10/26/web-server-with-esp8266-and-esp32-byte-array-gzipped-pages-and-spiffs-2/

def convert_to_gzip(src, out, f):
    input_file = f'{src}{f}'
    output_file = f'{out}{f}.gz.h'
    output_charp = f'{f.replace(".", "_")}_gz'

    top = ''
    with open(input_file, 'rb') as f_in:
        gz = gzip.compress(f_in.read())
        gzlen = len(gz)

        top += f'// filename: {f}.gz.h\n'
        top += f'#define {output_charp}_len {gzlen}\n'
        top += f'const char {output_charp}[] = '
        top += '{'

        with open(output_file, 'wb') as f_out:
            for i, b in enumerate(gz):
                if not i%10:
                    top += '\n '
                top += f'0x{b:02X}, '
            top = top[:-2]
            top += '};'
            f_out.write(top.encode(encoding='utf-8'))


src='include/http/'
out='include/'

for f in os.listdir(src):
    convert_to_gzip(src, out, f)