Follow-up Comment #2, bug #47551 (project grub):
Sorry for delay. I do not think any decision should be based on
GRUB_DISTRIBUTOR. It is free to be set by user to anything; actually on EFI
this is currently the only practical way fo rtwo instances of the same
distribution to coexist.
We need to move away, not add more dependencies.
So I guess second chunk of bsd.diff is correct; first one probably not. May be
we need to add generic helper to detect and export real distribution name in
grub-mkconfig.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?47551>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-grub mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-grub
