diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index f535481..f2c26d8 100644 --- a/.pre-commit-config.yaml +++ b/.pre-commit-config.yaml @@ -36,3 +36,4 @@ repos: rev: 1.0.5 hooks: - id: shell-lint + args: ['-x'] diff --git a/builder b/builder index f177e9b..1ad441f 100755 --- a/builder +++ b/builder @@ -365,6 +365,16 @@ function destroy-devfs() { ## Destroy the 'devfs' by unmounting the volumes and unmount_and_destroy_devfs "$rootfs" } +function build-in-devfs() { ## Destroy the 'devfs' by unmounting the volumes and deleting the files + # shellcheck source=/dev/null + source .env + + local rootfs + rootfs="$DEV_FS_DIR/fs" + + rootless "$rootfs" ./builder build +} + function devfs_root_shell() { ## Get a bash shell as root on the devfs # shellcheck source=/dev/null source .env