2011-10-27 15:09:05 +00:00
|
|
|
GRUB_TIMEOUT=5
|
|
|
|
GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)"
|
|
|
|
GRUB_DEFAULT=saved
|
|
|
|
# GRUB_TERMINAL="serial console"
|
|
|
|
# GRUB_SERIAL_COMMAND="serial --unit=0 --speed=9600"
|
2008-08-27 08:07:28 +00:00
|
|
|
GRUB_CMDLINE_LINUX="quiet rhgb"
|
2011-10-27 15:09:06 +00:00
|
|
|
GRUB_DISABLE_RECOVERY="true"
|
2012-05-10 00:44:50 +00:00
|
|
|
GRUB_THEME=/boot/grub2/themes/system/theme.txt
|