diff --git a/scripts/ramdisk-orchestrator.sh b/scripts/ramdisk-orchestrator.sh index fdcc628d..0802897a 100755 --- a/scripts/ramdisk-orchestrator.sh +++ b/scripts/ramdisk-orchestrator.sh @@ -185,6 +185,14 @@ check_resources() { # ───────────────────────────────────────────────────────────────────── # Mount / unmount # ───────────────────────────────────────────────────────────────────── +# Prepare MOUNT_POINT with repos, findings, fixes and logs subdirectories, +# using tmpfs when USE_TMPFS is true and RAMDISK_SIZE as its size limit. +# Reuse writable mounts; attempt to unmount and replace unwritable mounts. +# Without passwordless sudo, set USE_TMPFS=false and change MOUNT_POINT to a +# fresh `mktemp -d` directory (under TMPDIR) for a disk workspace, removed +# by unmount_workspace on exit. +# Dry runs only create MOUNT_POINT. Failed mounts or directory creation +# terminate the script under set -e. mount_workspace() { if [[ "$DRY_RUN" == "true" ]]; then log "[DRY-RUN] Would mount tmpfs (${RAMDISK_SIZE}) at $MOUNT_POINT"