From db1a9a423c5b3d81b44b0ca1a46bfd1496bc2d2e Mon Sep 17 00:00:00 2001 From: rmh Date: Sun, 14 Jun 2009 16:46:42 +0000 Subject: [PATCH] Remove old comment, made redundant by Felix' update --- debian/default/grub | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/debian/default/grub b/debian/default/grub index 7af2fe331..f7cd6c2e3 100644 --- a/debian/default/grub +++ b/debian/default/grub @@ -1,11 +1,10 @@ # If you change this file, run 'update-grub' afterwards to update # /boot/grub/grub.cfg. -# This file is sourced by update-grub, and its variables are propagated -# to its children in /etc/grub.d/ + GRUB_DEFAULT=0 GRUB_TIMEOUT=5 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` -GRUB_CMDLINE_LINUX="quiet" +GRUB_CMDLINE_LINUX_DEFAULT="quiet" # Uncomment to disable graphical terminal (grub-pc only) #GRUB_TERMINAL=console