Re: grub-mkconfig - pick local defaults from /etc/default/grub.local

[Colin Watson]

On Tue, Jul 16, 2019 at 09:30:40AM +0530, Amish wrote:
> But if grub-mkconfig also sources /etc/default/grub.local in addition to
> /etc/default/grub then Administrators (like me) can have their own config
> without need to edit vendor specific configuration file everytime.
> 
> It is 3 line addition as follows:
> 
> --- grub-mkconfig       2019-07-05 15:44:43.000000000 +0530
> +++ grub-mkconfig   2019-07-16 09:13:31.020769527 +0530
> @@ -158,6 +158,10 @@
>    . ${sysconfdir}/default/grub
>  fi
> 
> +if test -f ${sysconfdir}/default/grub.local ; then
> +  . ${sysconfdir}/default/grub.local
> +fi
> +
>  # XXX: should this be deprecated at some point?
>  if [ "x${GRUB_TERMINAL}" != "x" ] ; then
>    GRUB_TERMINAL_INPUT="${GRUB_TERMINAL}"

It's a bit more than that, because grub_util_load_config needs to be
consistent with it for grub-install.

However, just supporting a single extra file isn't as helpful as it
could be.  I've attached the Debian patch that supports
/etc/default/grub.d/*.cfg.

-- 
Colin Watson                                       [address@hidden]

default-grub-d.patch
Description: Text Data