tags 460843 + patch
thanks
I have attached a (trivial) patch.
Cheers,
Fabian
diff -Nur grub2-1.95+20080107/debian/default/grub grub2-1.95+20080107.new/debian/default/grub
--- grub2-1.95+20080107/debian/default/grub 2008-01-16 17:09:34.000000000 +0100
+++ grub2-1.95+20080107.new/debian/default/grub 2008-01-16 17:11:50.000000000 +0100
@@ -3,3 +3,4 @@
GRUB_DEFAULT=0
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR=Debian
+#GRUB_CMDLINE_LINUX_DEFAULT="quiet vga=791"
diff -Nur grub2-1.95+20080107/util/grub.d/10_linux.in grub2-1.95+20080107.new/util/grub.d/10_linux.in
--- grub2-1.95+20080107/util/grub.d/10_linux.in 2008-01-02 09:34:41.000000000 +0100
+++ grub2-1.95+20080107.new/util/grub.d/10_linux.in 2008-01-16 17:10:58.000000000 +0100
@@ -100,7 +100,7 @@
cat << EOF
menuentry "${OS}, linux ${version}" {
- linux ${grub_dirname}/${basename} root=${GRUB_DEVICE} ro ${GRUB_CMDLINE_LINUX}
+ linux ${grub_dirname}/${basename} root=${GRUB_DEVICE} ro ${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}
EOF
if test -n "${initrd}" ; then
cat << EOF
