I would rather not make /etc/default/grub into a complete catalogue of
all possible settings. Firstly, adding them will create confusing
conflicts which people may well need to resolve manually on upgrade;
secondly, it's difficult to write good documentation within the confines
of a configuration file.
However, nowadays (since you filed this bug report), you'll find
complete documentation of all possible /etc/default/grub settings in
'info grub', under "Configuration". I hope this suffices.
** Changed in: grub2 (Ubuntu)
Status: Triaged => Fix Released
--
insert option GRUB_DISABLE_OS_PROBER
https://bugs.launchpad.net/bugs/549215
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
