Le 26/05/2018 à 00:06, Simon Hobson a écrit :
Pascal Hambourg wrote:
If that's what is happening, then that suggests a lack of (effective) duplicate
detection in update-grub - or perhaps there's none at all on the basis that you
should not be having multiple installs like that ?
Err, what then would be the point in having grub-mkconfig detect and include
other Linux systems in the menu ?
I meant, multiple installs of grub (and hence fighting each other), sorry if
that wasn't clear.
What then would be the point in probing other systems' grub.cfg files
for linux menu entries ?
_______________________________________________
Help-grub mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-grub
