Rename freezefs build script

This commit is contained in:
Thomas Farstrike
2025-04-30 13:49:42 +02:00
parent 7ba039222e
commit 4ade44b241
2 changed files with 3 additions and 2 deletions
+2 -2
View File
@@ -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
+1
View File
@@ -0,0 +1 @@
python3 -m freezefs --target /builtin --on-import mount ~/sources/PiggyOS/internal_filesystem/builtin freezefs_mount_builtin.py