Index: enter_chroot.sh |
diff --git a/enter_chroot.sh b/enter_chroot.sh |
index ac34ad961f583ffa9807c7462c421af638f0dfe5..ac54459e2cc0a6681359298427c09910acc14210 100755 |
--- a/enter_chroot.sh |
+++ b/enter_chroot.sh |
@@ -143,6 +143,11 @@ function ensure_mounted { |
local mounted_path="$(readlink -f "${FLAGS_chroot}/$target")" |
if [ -z "$(mount | grep -F "on ${mounted_path} ")" ]; then |
+ # Attempt to make the mountpoint as the user. This depends on the |
+ # fact that all mountpoints that should be owned by root are |
+ # already present. |
+ mkdir -p "${mounted_path}" |
+ |
# NB: mount_args deliberately left unquoted |
debug mount ${mount_args} "${source}" "${mounted_path}" |
sudo -- mount ${mount_args} "${source}" "${mounted_path}" || \ |