Fedora 18 grub setting
I got Fedora 18 and Windows 7 installed on the same machine, and I want to change Default boot time from 3sec to 7sec also and the default start-up systems windows 7. I have used this commande :
gedit /etc/default/grub
And I have edited the file like this :
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)"
GRUB_DEFAULT=”Windows 7 (loader) on /dev/sda1″
GRUB_CMDLINE_LINUX="rd.lvm.lv=fedora/swap nomodeset rd.md=0 rd.dm=0 $([ -x /usr/sbin/rhcrashkernel-param ] && /usr/sbin/rhcrashkernel-param || :) vconsole.keymap=fr rd.luks=0 rd.lvm.lv=fedora/root rhgb quiet"
GRUB_DISABLE_RECOVERY="true"
GRUB_THEME="/boot/grub2/themes/system/theme.txt"
But it hasn't worked. Any one tell me what's the problem?
Did you run "grub2-mkconfig -o /boot/grub2/grub.cfg" after changing those settings?