Re: [PATCH] document GRUB_DISABLE_SUBMENU

2013-11-10 Thread Vladimir 'φ-coder/phcoder' Serbinenko
On 10.11.2013 15:38, Andrey Borzenkov wrote: > В Sun, 10 Nov 2013 13:59:45 + > Barry Jackson пишет: > >> >> Is it not inconsistent to use y/n for GRUB_DISABLE_SUBMENU when all >> other variables accept true/false ? >> > > GRUB_ENABLE_CRYPTODISK is y/n as well. Both were not officially > do

Re: [PATCH] document GRUB_DISABLE_SUBMENU

2013-11-10 Thread Andrey Borzenkov
В Sun, 10 Nov 2013 13:59:45 + Barry Jackson пишет: > > Is it not inconsistent to use y/n for GRUB_DISABLE_SUBMENU when all > other variables accept true/false ? > GRUB_ENABLE_CRYPTODISK is y/n as well. Both were not officially documented up to now so I'm fine with changing it. Feel free

Re: [PATCH] document GRUB_DISABLE_SUBMENU

2013-11-10 Thread Barry Jackson
eboot/grub-set-default with links would be helpful Default won't need to be changed if it already refers to top-level menu entry by ID or title (which does not change). Below is the best I could come up with without making it exceedingly large. Thank you. Go ahead. From: Andrey Borz

Re: [PATCH] document GRUB_DISABLE_SUBMENU

2013-11-10 Thread Vladimir 'φ-coder/phcoder' Serbinenko
And also explicit mention of >> default, fallback, GRUB_DEFAULT and grub-reboot/grub-set-default with >> links would be helpful > > > Default won't need to be changed if it already refers to top-level menu > entry by ID or title (which does not change

Re: [PATCH] document GRUB_DISABLE_SUBMENU

2013-11-10 Thread Andrey Borzenkov
fault with > links would be helpful Default won't need to be changed if it already refers to top-level menu entry by ID or title (which does not change). Below is the best I could come up with without making it exceedingly large. From: Andrey Borzenkov To: grub-devel@gnu.org Subject: [PA

Re: [PATCH] document GRUB_DISABLE_SUBMENU

2013-11-04 Thread Vladimir 'φ-coder/phcoder' Serbinenko
I think it should be "will" not "may". And also explicit mention of default, fallback, GRUB_DEFAULT and grub-reboot/grub-set-default with links would be helpful > From: Andrey Borzenkov > To: grub-devel@gnu.org > Subject: [PATCH] document GRUB_DISABLE_SUBMENU >

Re: [PATCH] document GRUB_DISABLE_SUBMENU

2013-11-04 Thread Andrey Borzenkov
В Mon, 04 Nov 2013 14:15:40 +0100 Vladimir 'φ-coder/phcoder' Serbinenko пишет: > Could you add that toggling this requires changing default/GRUB_DEFAULT > and saved default? > > Like this? From: Andrey Borzenkov To: grub-devel@gnu.org Subject: [PATCH] document GRUB_D

Re: [PATCH] document GRUB_DISABLE_SUBMENU

2013-11-04 Thread Vladimir 'φ-coder/phcoder' Serbinenko
> +@item GRUB_DISABLE_SUBMENU > +Normally, @command{grub-mkconfig} will generate top level menu entry for > +the kernel with highest version number and put all other found kernels > +or alternative menu entries for recovery mode in submenu. For entries > returned > +by @command{os-prober} first en

[PATCH] document GRUB_DISABLE_SUBMENU

2013-11-04 Thread Andrey Borzenkov
Signed-off-by: Andrey Borzenkov --- docs/grub.texi | 8 1 file changed, 8 insertions(+) diff --git a/docs/grub.texi b/docs/grub.texi index fced603..fbabea8 100644 --- a/docs/grub.texi +++ b/docs/grub.texi @@ -1450,6 +1450,14 @@ Normally, @command{grub-mkconfig} will try to use the ext