Rename freezefs build script

ThomasFarstrike · ThomasFarstrike · commit 4ade44b241aa · 2025-04-30T13:49:42.000+02:00
diff --git a/internal_filesystem/main.py b/internal_filesystem/main.py
@@ -356,9 +356,9 @@ def start_app(app_dir, is_launcher=False):
 execute_script_new_thread("/autorun.py", True, False, False)
 
 try:
-    import freezefs_mount
+    import freezefs_mount_builtin
 except Exception as e:
-    print("/main.py: WARNING: could not import freezefs_mount: ", e)
+    print("/main.py: WARNING: could not import/run freezefs_mount_builtin: ", e)
 
 # The launcher might have been updated from the builtin one, so check that:
 import uos
diff --git a/scripts/build_freezefs_mount_builtin.sh b/scripts/build_freezefs_mount_builtin.sh
@@ -0,0 +1 @@
+python3 -m freezefs --target /builtin --on-import mount ~/sources/PiggyOS/internal_filesystem/builtin freezefs_mount_builtin.py

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+python3 -m freezefs --target /builtin --on-import mount ~/sources/PiggyOS/internal_filesystem/builtin freezefs_mount_builtin.py`