3 Commits

Include renames

Author	SHA1	Message	Date
Thomas Farstrike	66ef3c36c0	Add title to WebREPL HTML	2026-03-24 12:40:25 +01:00
Thomas Farstrike	4d9357cf14	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.	2026-03-24 11:14:33 +01:00
Thomas Farstrike	519ceaae6f	webrepl: support access from LAN, without internet ... Host everything on the device itself, rather than redirecting to https://micropython.org/webrepl/ because that doesn't work when there is not internet, including when the device is in Access Point mode. This was a bit slow, because of the many files and being pretty large, but the inline_minify_webrepl.py makes this much better and brings it down to around 1s to load the page, versus 20 seconds. The minification also reduces the size from around 160KB to 80KB.	2026-03-05 11:17:25 +01:00