Hi, could grub-menu-builder.sh use default saved instead of default 0 It would make it more convenient managing which os boots, without editing the generated menu.lst http://www.gnu.org/software/grub/manual/html_node/savedefault.html#savedefault Might it also be a good idea to set previous configurations as fallbacks in grub?