https://bugzilla.novell.com/show_bug.cgi?id=812266
https://bugzilla.novell.com/show_bug.cgi?id=812266#c3
--- Comment #3 from Michael Chang 2013-04-02 15:18:25 UTC ---
Hi Tim,
Let me explain, the /etc/default/grub now holds default settings and will be
overridden by bootloader's proposed value. The GRUB_DISTRIBUTOR has proposed
value while GRUB_THEME not.
I know the other way round seems better, that is /etc/default/grub overrides
any proposed value but this requires more changes in pbl and grub2 package in
order to not break the DVD installation case.
So this fix is a compromise .. do you have any strong opinion to custom other
settings?
--
Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.