Bug#1052690: grub2: post-install script overrides manual changes to GRUB_DISABLE_OS_PROBER

[Bertram Felgenhauer]

Agustin Martin wrote:
> I have my 'local-settings.cfg' in that dir and works as expected.
> 
> Does using '/etc/default/grub.d/99-osprober.cfg' work?

That does work.

As far as I can make out, the directory ships empty (though other
packages may add stuff there), so it's hard to find out about that
required extension. Not sure where that information belongs... ideas:

- /etc/default/grub.d/README
- /etc/default/grub
- the `grub` texinfo document? That documents /etc/default/grub but
  not the /etc/default/grub.d override. But I haven't checked whether
  that's a grub feature or something added by Debian.

Cheers,

Bertram