After migration to Fedora 20 with UEFI (instead of BIOS), making GRUB changes was totally ignored. The problem was with definition of output generated GRUB config file. UEFI system reads settings from new location and that is described in second step.
Root privileges are needed in order to apply GRUB changes. Be very careful because some unintended mistake can lead to GRUB problems and your computer will not be able to boot. If this happen, you’ll need Fedora DVD, booting to rescue mode and so on (but this is beyond of this article).
1) Edit /etc/default/grub file and set timeout to new value (say GRUB_TIMEOUT=”2″):
# vi /etc/default/grub
2) Generate grub.cfg – a grub configuration file (and set output to /boot/efi/EFI/fedora directory):
# grub2-mkconfig -o /boot/efi/EFI/fedora/grub.cfg
And that should do the trick. New settings should be applied for the next Fedora 20 boot. Just to be sure, it’s possible to “peek” to the newly generated configuration file and see new GRUB_TIMEOUT settings:
# more /boot/efi/EFI/fedora/grub.cfg … … insmod video_bochs insmod video_cirrus fi } terminal_output console set timeout=2 ### END /etc/grub.d/00_header ### ### BEGIN /etc/grub.d/10_linux ### menuentry 'Fedora, with Linux 3.14.4-200.fc20.x86_64' --class fedora ... … …
I hope that this brief article will be useful for tweaking Fedora 20.