Checkin internal_filesystem/builtin/html/webrepl_inlined_minified.html

ThomasFarstrike · ThomasFarstrike · commit 4d9357cf1443 · 2026-03-24T11:14:33.000+01:00
It gets generated by it's a small file that doesn't change often
and when users download internal_filesystem/ from git (to run a
statically compiled Linux build, for example) they need this.
diff --git a/.gitignore b/.gitignore
@@ -37,5 +37,6 @@ c_mpos/breakout/build
 # build files
 *.bin
 
-# auto created by inline_minify_webrepl.py
-internal_filesystem/builtin/html/webrepl_inlined_minified.html
+# auto created by inline_minify_webrepl.py but still checked in because it's a small file
+# and when users download internal_filesystem/ from git (to run a statically compiled Linux build, for example) they need this
+# internal_filesystem/builtin/html/webrepl_inlined_minified.html
diff --git a/internal_filesystem/builtin/html/README.md b/internal_filesystem/builtin/html/README.md
@@ -1 +1 @@
-This folder will be filled by the inline_minify_webrepl.py script.
+This folder gets filled by the webrepl/inline_minify_webrepl.py script.
diff --git a/internal_filesystem/builtin/html/webrepl_inlined_minified.html b/internal_filesystem/builtin/html/webrepl_inlined_minified.html
diff --git a/webrepl/inline_minify_webrepl.py b/webrepl/inline_minify_webrepl.py
@@ -129,12 +129,14 @@ def inline_assets() -> None:
     term_js = jsmin((base_dir / "term.js").read_text(encoding="utf-8"))
     file_saver_js = jsmin((base_dir / "FileSaver.js").read_text(encoding="utf-8"))
     webrepl_js = jsmin((base_dir / "webrepl.js").read_text(encoding="utf-8"))
+    webrepl_tweaks_js = jsmin((base_dir / "webrepl_tweaks.js").read_text(encoding="utf-8"))
 
     replacements = [
         (r"<link\s+rel=\"stylesheet\"\s+href=\"webrepl\.css\"\s*/?>", f"<style>{css}</style>"),
         (r"<script\s+src=\"term\.js\"\s*>\s*</script>", f"<script>{term_js}</script>"),
         (r"<script\s+src=\"FileSaver\.js\"\s*>\s*</script>", f"<script>{file_saver_js}</script>"),
         (r"<script\s+src=\"webrepl\.js\"\s*>\s*</script>", f"<script>{webrepl_js}</script>"),
+        (r"<script\s+src=\"webrepl_tweaks\.js\"\s*>\s*</script>", f"<script>{webrepl_tweaks_js}</script>"),
     ]
 
     for pattern, replacement in replacements:

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-This folder will be filled by the inline_minify_webrepl.py script.`
	`1`	`+This folder gets filled by the webrepl/inline_minify_webrepl.py script.`