[SCM] live-boot branch, debian, updated. debian/3.0_a37-1

[Daniel Baumann]

The following commit has been merged in the debian branch:
commit 7b0335fb8d508c2703c8ee18fed52312a4bcba49
Author: Daniel Baumann <daniel at debian.org>
Date:   Wed Jul 25 17:00:45 2012 +0200

    Extending read-only parameters to allow specifying custom list of devices.

diff --git a/scripts/boot/0120-read-only b/scripts/boot/0120-read-only
index 948c2d5..c05c162 100755
--- a/scripts/boot/0120-read-only
+++ b/scripts/boot/0120-read-only
@@ -7,6 +7,11 @@ Read_only ()
 	for _PARAMETER in ${_CMDLINE}
 	do
 		case "${_PARAMETER}" in
+			live-boot.read-only=*|read-only=*)
+				LIVE_READ_ONLY="true"
+				LIVE_READ_ONLY_DEVICES="${_PARAMETER#*read-only=}"
+				;;
+
 			live-boot.read-only|read-only)
 				LIVE_READ_ONLY="true"
 				;;
@@ -20,9 +25,9 @@ Read_only ()
 
 	# Marking some block devices as read-only to ensure that nothing
 	# gets written as linux still writes to 'only' read-only mounted filesystems.
-	_DEVICES="/dev/sd* /dev/vd*"
+	LIVE_READ_ONLY_DEVICES="${LIVE_READ_ONLY_DEVICES:-/dev/sd* /dev/vd*}"
 
-	for _DEVICE in ${_DEVICES}
+	for _DEVICE in $(echo ${LIVE_READ_ONLY_DEVICES} | sed -e 's|,| |g')
 	do
 		if [ ! -b "${_DEVICE}" ]
 		then

-- 
live-boot