Skip to content
Merged
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions scripts/ramdisk-orchestrator.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
Loading