From 4d9357cf14439a345933e52995db7d8f402fcee5 Mon Sep 17 00:00:00 2001 From: Thomas Farstrike Date: Tue, 24 Mar 2026 11:14:33 +0100 Subject: [PATCH] Checkin internal_filesystem/builtin/html/webrepl_inlined_minified.html 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. --- .gitignore | 5 +- internal_filesystem/builtin/html/README.md | 2 +- .../html/webrepl_inlined_minified.html | 48 +++++++++++++++++++ webrepl/inline_minify_webrepl.py | 2 + 4 files changed, 54 insertions(+), 3 deletions(-) create mode 100644 internal_filesystem/builtin/html/webrepl_inlined_minified.html diff --git a/.gitignore b/.gitignore index 01e4bed1..3b505524 100644 --- 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 index ddacaedb..d95ffd72 100644 --- 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 new file mode 100644 index 00000000..6ef57225 --- /dev/null +++ b/internal_filesystem/builtin/html/webrepl_inlined_minified.html @@ -0,0 +1,48 @@ + + + +MicroPython WebREPL + + + + + + +
+
+ + +
+
+
+
+
+ +
+ +
+ Send a file + +
+ +
+ +
+ Get a file + + +
+ +
(file operation status)
+ +
+ +
+Terminal widget should be focused (text cursor visible) to accept input. Click on it if not.
+To paste, press Ctrl+A, then Ctrl+V + + + + + + diff --git a/webrepl/inline_minify_webrepl.py b/webrepl/inline_minify_webrepl.py index 1a14e697..26e40c08 100755 --- 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"", f""), (r"\s*", f""), (r"\s*", f""), (r"\s*", f""), + (r"\s*", f""), ] for pattern, replacement in replacements: