where GRUB_DEFAULT defines which number of menuentry in /boot/grub/grub.cfg. The first occurrence is 0. The second one is 1.
After you have editd /etc/default/grub for the GRUB_DEFAULT, then you execute "update-grub". The file /boot/grub/grub.cfg will be modified.作者: 角色 時間: 2012-6-5 00:16
The command "update-grub" will read the following files
1) /etc/default/grub (default settings)
2) files in /etc/grub.d directory which contains
00_header
05_debian_theme
10_linux
20_memtest86+
30_os-prober
40_custom
where 40_custom contains any customised menuentries that we want.