Works for me:

--- grub-pc.config.orig 2009-08-26 15:06:51.031634804 +0200
+++ grub-pc.config  2009-08-26 15:04:28.415635343 +0200
@@ -25,7 +25,7 @@
 if test -e /etc/default/grub ; then
   . /etc/default/grub
 
-  [ -n $GRUB_CMDLINE_LINUX ] && db_set grub-pc/cmdline_linux 
"$GRUB_CMDLINE_LINUX"
+  [ -n $GRUB_CMDLINE_LINUX ] && db_set grub-pc/linux_cmdline 
"$GRUB_CMDLINE_LINUX"
   [ -n $GRUB_CMDLINE_LINUX_DEFAULT ] && db_set grub-pc/linux_cmdline_default 
"$GRUB_CMDLINE_LINUX_DEFAULT"
 fi




-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to