Ubuntu
grub package

  1. Bug #256989
  2. Comment #7

Comment 7 for bug 256989

Revision history for this message
Ben Collins (ben-collins) wrote :

Martin, that sounds like the right solution. If /boot/grub doesn't exist, then no need to update the boot menu.