On Tue, 2009-02-03 at 19:58 -0500, Chuck Anderson wrote:
- I think we should always install grub to the /boot partition's boot
sector, no matter what. That should be completely safe, because we "own" /boot and sharing a single /boot between different OS installs isn't really supported anyway.
I would posit that we should only do this if we format /boot. Otherwise it would need to be explicitly requested.