Ubuntu
grub2 package

  1. Bug #538884
  2. Comment #2

Comment 2 for bug 538884

Revision history for this message
Colin Watson (cjwatson) wrote :

(And I agree that we ought to have something for this kind of thing that's easier than editing /etc/grub.d/10_linux, although it will take some careful design work.)