Hi, Eelco Dolstra <[email protected]> writes:
> BTW, one thing I've been wanting to do is get rid of the > boot.loader.grub.bootDevice option. It should be possible for the menu > builder > to figure out itself whether /boot is on a separate partition. The only > tricky > thing is that it has to map /boot to Grub's device name (like (hd0,0)). But > maybe that's easier in GRUB 2. GRUB 2 has a ‘search’ command, which can take a UUID of filesystem label and return the GRUB device, IIUC. So that may be helpful, too. Thanks, Ludo’. _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
