summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorTails developers <amnesia@boum.org>2012-03-20 17:37:58 +0100
committerDaniel Baumann <daniel@debian.org>2012-04-05 07:50:06 +0200
commit22216d157f7dacf5cdaabc45a7a7a42bfcfe49d1 (patch)
tree14a11e4e9e1cfee6ce4400436ca9e61f5c5fff78 /scripts
parent2d129205223e1fb6322bb03a9cb9fdf1736885b8 (diff)
downloadlive-boot-22216d157f7dacf5cdaabc45a7a7a42bfcfe49d1.tar.gz
live-boot-22216d157f7dacf5cdaabc45a7a7a42bfcfe49d1.zip
Make two custom mounts with nested source directories illegal.
Diffstat (limited to 'scripts')
-rw-r--r--scripts/live-helpers21
1 files changed, 19 insertions, 2 deletions
diff --git a/scripts/live-helpers b/scripts/live-helpers
index 75fc106..52f812c 100644
--- a/scripts/live-helpers
+++ b/scripts/live-helpers
@@ -1342,7 +1342,24 @@ get_custom_mounts ()
# After all mounts are considered we add symlinks so they
# won't be hidden by some mount.
- [ -e "${links}" ] && sort -k3 -sbu ${links} >> ${custom_mounts} && rm ${links}
+ [ -e "${links}" ] && cat ${links} >> ${custom_mounts} && rm ${links}
+
+ # We need to make sure that no two custom mounts have the same sources
+ # or are nested; if that is the case, too much weird stuff can happen.
+ local prev_source="impossible source" # first iteration must not match
+ local prev_dest=""
+ # This sort will ensure that a source /a comes right before a source
+ # /a/b so we only need to look at the previous source
+ sort -k2 -b ${custom_mounts} |
+ while read device source dest options
+ do
+ if echo ${source} | grep -qe "^${prev_source}\(/.*\)\?$"
+ then
+ panic "Two persistent mounts have the same or nested sources: ${source} on ${dest}, and ${prev_source} on ${prev_dest}"
+ fi
+ prev_source=${source}
+ prev_dest=${dest}
+ done
}
activate_custom_mounts ()
@@ -1356,7 +1373,7 @@ activate_custom_mounts ()
local opt_union=""
for opt in $(echo ${options} | tr ',' ' ');
do
- case "${opt}" in
+ case "${opt}" in
linkfiles)
opt_linkfiles="yes"
;;