I vote for "fixing it"! It's very convenient command.
-- Latest grub package (0.97-1ubuntu4) breaks /sbin/grub-reboot https://launchpad.net/bugs/31915 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
