mirror of
https://src.fedoraproject.org/rpms/grub2.git
synced 2024-10-18 17:56:30 +00:00
set GRUB_SAVEDEFAULT=true so saved defaults works (rbhz#732058)
This commit is contained in:
parent
12d8378872
commit
204ee270c4
1 changed files with 1 additions and 0 deletions
|
@ -1,6 +1,7 @@
|
|||
GRUB_TIMEOUT=5
|
||||
GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)"
|
||||
GRUB_DEFAULT=saved
|
||||
GRUB_SAVEDEFAULT=true
|
||||
# GRUB_TERMINAL="serial console"
|
||||
# GRUB_SERIAL_COMMAND="serial --unit=0 --speed=9600"
|
||||
GRUB_CMDLINE_LINUX="quiet rhgb"
|
||||
|
|
Loading…
Reference in a new issue