webui/gzip_build.py

29 lines
1.1 KiB
Python
Raw Normal View History

2023-11-17 00:05:35 +00:00
import os
import gzip
from shutil import copyfileobj
from pathlib import Path
def gzip_file(input_file, output_file):
with open(input_file, 'rb') as f_in:
with gzip.open(output_file, 'wb') as f_out:
copyfileobj(f_in, f_out)
def process_directory(input_dir, output_dir):
for root, dirs, files in os.walk(input_dir):
relative_path = os.path.relpath(root, input_dir)
output_root = os.path.join(output_dir, relative_path)
Path(output_root).mkdir(parents=True, exist_ok=True)
for file in files:
# if file.endswith(('.html', '.css', '.js')):
input_file_path = os.path.join(root, file)
output_file_path = os.path.join(output_root, file + '.gz')
gzip_file(input_file_path, output_file_path)
print(f'Compressed: {input_file_path} -> {output_file_path}')
# Replace 'input_directory' and 'output_directory' with your actual input and output directories
input_directory = 'build'
output_directory = 'build_gz'
process_directory(input_directory, output_directory)