Ubuntu
lupin package

  1. Bug #540579
  2. Comment #9

Comment 9 for bug 540579

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

However, this gave me a hint - I've been looking in the wrong place. The buggy script is actually /etc/grub.d/10_lupin, not /etc/grub.d/10_linux at all, and on looking at it I see the problem.