I agree. One of the Super Grub2 Disk options consists on showing from its menu the COPYRIGHT page... the pager variable is set to true so that the output is paged when the cat command is run. This usecase might not work anymore if something else than prompting a message on the interactive screen was used.
El mié., 30 oct. 2019 a las 13:12, Daniel Kiper (<dki...@net-space.pl>) escribió: > On Fri, Oct 25, 2019 at 11:02:04AM +0200, Javier Martinez Canillas wrote: > > Hello Daniel, > > > > On 10/24/19 4:50 PM, Daniel Kiper wrote: > > > > [snip] > > > > >> > > >> From 7c4da6295ebd3a034d1f7e32099eab33efa465d4 Mon Sep 17 00:00:00 2001 > > >> From: Javier Martinez Canillas <javi...@redhat.com> > > >> Date: Tue, 22 Oct 2019 15:35:12 +0200 > > >> Subject: [PATCH v2] Add a GRUB_COMMAND_FLAG_PAGINATED to request > paginated > > >> output for commands > > >> > > >> When user enters into the GRUB shell and tries to use help command, > lot of > > >> information is scrolled out of screen and the user doesn't have > chance to > > >> read it. Also, there isn't any information about 'set pager=1' at the > end > > >> of the help output, to tell the user how scrolling could be enabled. > > >> > > >> Since the out for some commands may not fit into a screen, add a new > flag > > >> GRUB_COMMAND_FLAG_PAGINATED that can be used when registering > commands that > > >> can be used to request the pager to be enabled while executing the > handler. > > >> > > >> Signed-off-by: Javier Martinez Canillas <javi...@redhat.com> > > > > > > In general I like the idea but I think patch requires some polishing... > > > > > > Hmmm... Still thinking about "-p" flag which allows user to choose > > > between pager on/off. Or something which I proposed in the email to > > > Michael... > > > > I'm OK with any of the other two approaches too. But it seems that > Vladimir > > is worried about the added complexity for these. > > > > I honestly think that the approach in this patch is the least bad option > since > > it doesn't require a special configuration or the user to do anything, > just > > execute the command printing a lot of stuff and get paginated output by > default. > > > > Can't think why users would want to execute commands that print a lot of > messages > > without the output being paginated, or why they would want to execute a > command > > like help in in batch mode. It's only useful in interactive mode. > > > > And also the patch is quite trivial, it already uses all the existing > code for > > the pager option. > > > > But I'll wait for the discussion to settle and a solution to be agreed > upon, > > before posting a new patch for this. > > After some thinking it seems to me that Valdimir is right and we should > not over-complicate the solution. Let's print the message on interactive > screen how to enable paging. > > Daniel > > _______________________________________________ > Grub-devel mailing list > Grub-devel@gnu.org > https://lists.gnu.org/mailman/listinfo/grub-devel > -- Support free software. Donate to Super Grub Disk. Apoya el software libre. Dona a Super Grub Disk. https://www.supergrubdisk.org/donate/
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
