diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-10-29 02:12:35 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-10-29 02:12:35 +0800 |
| commit | 298dd9150ec8bc92af1bc1685726e1cd98d16b49 (patch) | |
| tree | dac8b52571821433123fb56ecc32b98fa229d996 /debian-container/lib/mount.sh | |
| parent | d8bfc59e2f5dc0728326ae7a143f8fdc113932e2 (diff) | |
| download | rutils-298dd9150ec8bc92af1bc1685726e1cd98d16b49.tar.gz rutils-298dd9150ec8bc92af1bc1685726e1cd98d16b49.tar.xz | |
Add configurable host directory bind mounts for container entry and command execution.
Signed-off-by: Richard Qin <richard.qin.x@gmail.com>
Diffstat (limited to 'debian-container/lib/mount.sh')
| -rw-r--r-- | debian-container/lib/mount.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian-container/lib/mount.sh b/debian-container/lib/mount.sh index 0b623c8..26403c7 100644 --- a/debian-container/lib/mount.sh +++ b/debian-container/lib/mount.sh @@ -3,6 +3,7 @@ # Copyright (C) 2026 by Richard Qin dc_cleanup_mounts() { + dc_bind_cleanup umount "$DC_ROOT/dev/pts" 2>/dev/null || true umount "$DC_ROOT/dev" 2>/dev/null || true umount "$DC_ROOT/proc" 2>/dev/null || true |