inline_minify_webrepl.py: make deterministic

ThomasFarstrike · ThomasFarstrike · commit 2a3ed2864747 · 2026-05-16T12:07:04.000+02:00
diff --git a/webrepl/inline_minify_webrepl.py b/webrepl/inline_minify_webrepl.py
@@ -153,8 +153,9 @@ def inline_assets() -> None:
             )
         html = new_html
 
-    with gzip.open(out_path, "wt", encoding="utf-8") as gzip_file:
-        gzip_file.write(html)
+    with open(out_path, "wb") as f:
+        with gzip.GzipFile(fileobj=f, mode="w", compresslevel=9, mtime=0) as gz:
+            gz.write(html.encode("utf-8"))
 
 
 if __name__ == "__main__":

Original file line number	Diff line number	Diff line change
`@@ -153,8 +153,9 @@ def inline_assets() -> None:`
`153`	`153`	`)`
`154`	`154`	`html = new_html`
`155`	`155`
`156`		`- with gzip.open(out_path, "wt", encoding="utf-8") as gzip_file:`
`157`		`- gzip_file.write(html)`
	`156`	`+ with open(out_path, "wb") as f:`
	`157`	`+ with gzip.GzipFile(fileobj=f, mode="w", compresslevel=9, mtime=0) as gz:`
	`158`	`+ gz.write(html.encode("utf-8"))`
`158`	`159`
`159`	`160`
`160`	`161`	`if __name__ == "__main__":`