[bug #28581] Add machine name to generated menuentry names

[Felix Zielcke]

Follow-up Comment #1, bug #28581 (project grub):

10_linux only creates menu entries for the kernels in /boot of the current
system.
The other ones are added by 30_os-prober and they clearly show the device
from which they are.
Note that your 64bit entries come after Memtest and Windows.
So i don't think this is needed at all.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?28581>

_______________________________________________
  Nachricht geschickt von/durch Savannah
  http://savannah.gnu.org/



_______________________________________________
Bug-grub mailing list
Bug-grub@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-grub