Sorry, another update. Although update-grub does detect Arch when the partition is mounted, it sets the wrong UUID for the root partition in the 'root=' parameter on the 'linux' (kernel) line. I don't know why it does this, as it sets the right UUID for the partition everywhere else, e.g., in the 'search' lines. I had to change the UUID manually to get things working. (Will post the os-prober output soon.)
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/748413 Title: update-grub does not detect archbang on the other partition To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/748413/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
