summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTails developers <amnesia@boum.org>2012-03-19 23:44:17 +0100
committerDaniel Baumann <daniel@debian.org>2012-04-05 07:49:47 +0200
commit1879d835a5b10728f3c49dc04ec854f2ff993a8b (patch)
treed5d65f2bb872be5a16e449196b15d9b8c27c5f4b
parentabb42266f7e2251fd0e9cc14dc76ec6290e4b4b9 (diff)
downloadlive-boot-1879d835a5b10728f3c49dc04ec854f2ff993a8b.tar.gz
live-boot-1879d835a5b10728f3c49dc04ec854f2ff993a8b.zip
Greatly simplify live.persist syntax to "DIR [OPTIONS...]".
The previous syntax was convoluted by allowing both optional columns and a list of options, when all really can be done in the options list. A new option 'source=$path' was added as a replacement for the removed SOURCE column, and DIR in the new syntax is pretty much the old DEST.
-rw-r--r--scripts/live-helpers50
1 files changed, 29 insertions, 21 deletions
diff --git a/scripts/live-helpers b/scripts/live-helpers
index 78608b6..1f2fb80 100644
--- a/scripts/live-helpers
+++ b/scripts/live-helpers
@@ -1277,35 +1277,32 @@ get_custom_mounts ()
cp ${include_list} ${rootmnt}/live/persistent/${persistence_list}.${device_name}
fi
- while read source dest options # < ${include_list}
+ while read dir options # < ${include_list}
do
- if echo ${source} | grep -qe "^[[:space:]]*\(#.*\)\?$"
+ if echo ${dir} | grep -qe "^[[:space:]]*\(#.*\)\?$"
then
# skipping empty or commented lines
continue
fi
- if [ -z "${dest}" ]
+ if trim_path ${dir} | grep -q -e "^[^/]" -e "^/$" -e "^/live\(/.*\)\?$" -e "^/\(.*/\)\?\.\.\?\(/.*\)\?$"
then
- dest="${source}"
- fi
-
- if trim_path ${source} | grep -q -e "^[^/]" -e "^\(.*/\)\?\.\.\?\(/.*\)\?$"
- then
- log_warning_msg "Skipping unsafe custom mount with source ${source}: the source must be an absolute path w.r.t. the persistent media root and cannot contain \".\" or \"..\""
- continue
- fi
-
- if trim_path ${dest} | grep -q -e "^[^/]" -e "^/$" -e "^/live\(/.*\)\?$" -e "^/\(.*/\)\?\.\.\?\(/.*\)\?$"
- then
- log_warning_msg "Skipping unsafe custom mount with desination ${dest}: the destination must be an absolute path containing neither \".\" nor \"..\", and cannot be /live (or any sub-directory therein) or / (for the latter, use ${root_overlay_label}-type persistence instead)"
+ log_warning_msg "Skipping unsafe custom mount ${dir}: must be an absolute path containing neither the \".\" nor \"..\" special dirs, and cannot be \"/live\" (or any sub-directory therein) or \"/\" (for the latter, use ${root_overlay_label}-type persistence)"
continue
fi
+ local opt_source=""
+ local opt_linkfiles=""
for opt in $(echo ${options} | tr ',' ' ');
do
case "${opt}" in
- linkfiles|union)
+ source=*)
+ opt_source=${opt#source=}
+ ;;
+ linkfiles)
+ opt_linkfiles="yes"
+ ;;
+ union)
;;
*)
log_warning_msg "Skipping custom mount with unkown option: ${opt}"
@@ -1314,10 +1311,21 @@ get_custom_mounts ()
esac
done
- # ensure that no multiple-/ occur in paths
+ local source="${dir}"
+ if [ -n "${opt_source}" ]
+ then
+ if echo ${opt_source} | grep -q -e "^/" -e "^\(.*/\)\?\.\.\?\(/.*\)\?$" && [ "${source}" != "." ]
+ then
+ log_warning_msg "Skipping unsafe custom mount with option source=${opt_source}: must be either \".\" (the media root) a relative path w.r.t. the media root that doesn't contain comas or the special dirs \".\" and \"..\""
+ continue
+ else
+ source="${opt_source}"
+ fi
+ fi
+
local full_source="$(trim_path ${backing}/${source})"
- local full_dest="$(trim_path ${rootmnt}/${dest})"
- if echo ${options} | grep -qe "\<linkfiles\>";
+ local full_dest="$(trim_path ${rootmnt}/${dir})"
+ if [ -n "${opt_linkfiles}" ]
then
echo "${device} ${full_source} ${full_dest} ${options}" >> ${links}
else
@@ -1364,7 +1372,7 @@ activate_custom_mounts ()
if [ -n "$(what_is_mounted_on "${dest}")" ]
then
- log_warning_msg "Skipping custom mount ${source} on ${dest}: $(what_is_mounted_on "${dest}") is already mounted there"
+ log_warning_msg "Skipping custom mount ${dest}: $(what_is_mounted_on "${dest}") is already mounted there"
continue
fi
@@ -1506,6 +1514,6 @@ fix_home_rw_compatibility ()
if [ ! -r "${include_list}" ]
then
echo "# home-rw backwards compatibility:
-/ /home" > "${include_list}"
+/home source=." > "${include_list}"
fi
}