diff options
author | Andreas Loibl <andreas@andreas-loibl.de> | 2013-02-13 21:57:31 +0100 |
---|---|---|
committer | Andreas Loibl <andreas@andreas-loibl.de> | 2013-02-13 21:57:31 +0100 |
commit | cc21dd2b5b89237f8528e290f4473b18d47e6e74 (patch) | |
tree | cda92ab0c58cc35083edb4c3c867054f310a7871 | |
parent | f41e9c3eb5bc2dc8ba9049a77426d06120bb0cf9 (diff) | |
download | acritoxinstaller-cc21dd2b5b89237f8528e290f4473b18d47e6e74.zip acritoxinstaller-cc21dd2b5b89237f8528e290f4473b18d47e6e74.tar.gz |
added exception for /boot/efi
-rw-r--r-- | backend/modules/hdmap | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/backend/modules/hdmap b/backend/modules/hdmap index fabb0d6..ec7af08 100644 --- a/backend/modules/hdmap +++ b/backend/modules/hdmap @@ -291,9 +291,10 @@ function prepare_partitions_for_install() mkdir -p ${TARGET}${mountpoint} # make sure mountpoint exists # only mount the partition if: 1. it has the automount flag - # 2. the mountpoint exists on the Live system - # and 3. prepare_partitions_for_install was not called with "--nomount" - if [ "$automount" = "auto" -a "$1" != "--nomount" -a -d "/live/filesystem$mountpoint" ]; then + # 2. prepare_partitions_for_install was not called with "--nomount" + # and 3. the mountpoint exists on the Live system + # (or 4. the mountpoint is a special one that always should be mounted [/boot/efi]) + if [ "$automount" = "auto" -a "$1" != "--nomount" ] && [ -d "/live/filesystem$mountpoint" -o "$mountpoint" = "/boot/efi" ]; then # mount device to mountpoint EC="$(LC_ALL=C mount $device ${TARGET}${mountpoint} 2>&1)" if (($?)); then |