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? _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
