diff options
author | Tails developers <amnesia@boum.org> | 2012-03-20 17:37:58 +0100 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2012-04-05 07:50:06 +0200 |
commit | 22216d157f7dacf5cdaabc45a7a7a42bfcfe49d1 (patch) | |
tree | 14a11e4e9e1cfee6ce4400436ca9e61f5c5fff78 /scripts | |
parent | 2d129205223e1fb6322bb03a9cb9fdf1736885b8 (diff) | |
download | live-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-helpers | 21 |
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" ;; |