Am 02.02.2015 um 02:11 schrieb Hendrik Boom:
> [...]
> Which is exactly why I want to see documentation rather than
> more take-care-of-everything automation.
http://www.gnu.org/software/grub/manual/grub.html#Configuration
That URL could be included by comments in "/etc/default/grub"
and "/etc/grub.d/40_custom" (whereas "41_custom" along the other
more "self-aware" scripts require a more substantial improvement).
Apart from that, recent developments show once again how important
it is to have choice. Linux' powers come from a wealth of
opportunity for building custom setups, not from its absence. :-)
Kind regards,
tilt