Bug#393229: Please make the default isolinux menu selection configurable

[Petter Reinholdtsen <pere@hungry.com>]

Package: debian-cd
Version: 2.2.25
Tags:    patch
Severity: wishlist

At the moment, the only way to change the default choice used by
isolinux is to rewrite the isolinux.cfg file provided in the
debian-cd_info.tar.gz file.  To do this, the entire
debian-cd_info.tar.gz need to be copied and edited.  This seem
slightly overkill when all one want is to edit the default value.

Here is a patch to add a new configuration option, ISOLINUX_DEFAULT,
to make it possible to change the setting from CONF.sh.

Index: tools/boot/etch/boot-i386
===================================================================
--- tools/boot/etch/boot-i386	(revision 1124)
+++ tools/boot/etch/boot-i386	(working copy)
@@ -193,6 +193,10 @@
 		# file.
 		sed -i "s|append |append $KERNEL_PARAMS |" boot$N/isolinux/isolinux.cfg
 	fi
+
+	if [ -n "$ISOLINUX_DEFAULT" ]; then
+		sed -i "s/^DEFAULT .*$/DEFAULT $ISOLINUX_DEFAULT/" boot$N/isolinux/isolinux.cfg
+	fi
 fi
 
 # Add autorun if we have README.html
Index: tools/boot/etch/boot-amd64
===================================================================
--- tools/boot/etch/boot-amd64	(revision 1124)
+++ tools/boot/etch/boot-amd64	(working copy)
@@ -129,6 +129,10 @@
 	# Substitute custom kernel params into the isolinux config
 	# file.
 	sed -i "s|append |append $KERNEL_PARAMS|" boot$N/isolinux/isolinux.cfg
+
+	if [ -n "$ISOLINUX_DEFAULT" ]; then
+		sed -i "s/^DEFAULT .*$/DEFAULT $ISOLINUX_DEFAULT/" boot$N/isolinux/isolinux.cfg
+	fi
 fi
 
 # Add autorun if we have README.html