On Thu, Nov 28, 2013 at 09:22:49PM +0400, Andrey Borzenkov wrote:
> В Thu, 28 Nov 2013 02:30:56 +0000
> Colin Watson <cjwat...@ubuntu.com> пишет:
> > @item GRUB_HIDDEN_TIMEOUT
> > @item GRUB_HIDDEN_TIMEOUT_QUIET
>
> I suggest removing them from user visible documentation and leaving
> only as compatibility options in grub-mkconfig. No reason do endorse
> their usage ("deprecated" is usually was nobody pays attention to).
My concern is that they will probably hang around in people's
configurations for some time and I would like the documentation to tell
users what these mysterious things mean.
As a compromise, perhaps we could move them to a separate page?
--
Colin Watson [cjwat...@ubuntu.com]
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
