feat: web files

2026-08-11 03:12:52 +02:00 · 2024-02-24 14:08:42 +01:00
parent b1bf6fe61f
commit d069c201d9
12 changed files with 18194 additions and 99 deletions
@@ -0,0 +1,20 @@
+import gzip
+
+files = [
+  'data_embed/index.html',
+  'data_embed/script.js',
+  'data_embed/style.css',
+  'data_embed/bootstrap.js',
+  'data_embed/bootstrap.css',
+]
+
+
+for src in files:
+  out = src + ".gz"
+  
+  
+  with open(src, 'rb') as f:
+    content = f.read()
+      
+  with open(out, 'wb') as f:
+    f.write(gzip.compress(content, compresslevel=9))