cat with pagination

cat with pagination

[Carles Pina i Estany]

Hello,

In Grub command line I really miss a cat with pagination (like
more/less). Any reason that it's not here? I don't remember if we
discussed it. Or it's there and I have not found.

Else I will implement it.

Cheers,

-- 
Carles Pina i Estany		GPG id: 0x17756391
	http://pinux.info

Re: cat with pagination

[Carles Pina i Estany]

Hello,

On Jan/24/2009, Carles Pina i Estany wrote:

> In Grub command line I really miss a cat with pagination (like
> more/less). Any reason that it's not here? I don't remember if we
> discussed it. Or it's there and I have not found.

I've just remembered set pager=1 and cat /boot/grub/grub.cfg :-) (from
Grub console)

Maybe a "more" command that would setup the pager, cat and remove the
pager would be interesting for people who doesn't know about pager? (so
doing "TAB" would appear a new command)

Cheers,

-- 
Carles Pina i Estany		GPG id: 0x17756391
	http://pinux.info

Re: cat with pagination

[Vesa Jääskeläinen]

Carles Pina i Estany wrote:
> Hello,
> 
> On Jan/24/2009, Carles Pina i Estany wrote:
> 
>> In Grub command line I really miss a cat with pagination (like
>> more/less). Any reason that it's not here? I don't remember if we
>> discussed it. Or it's there and I have not found.
> 
> I've just remembered set pager=1 and cat /boot/grub/grub.cfg :-) (from
> Grub console)
> 
> Maybe a "more" command that would setup the pager, cat and remove the
> pager would be interesting for people who doesn't know about pager? (so
> doing "TAB" would appear a new command)

Actually if we think about pager overall... it has a kinda failure also.
It doesn't support aborting the print.

There has been also a talk to enable pager=1 as a default.

Re: cat with pagination

[Colin D Bennett]

[-- Attachment #1: Type: text/plain, Size: 1323 bytes --]

On Sat, 24 Jan 2009 22:18:51 +0200
Vesa Jääskeläinen <chaac@nic.fi> wrote:

> Carles Pina i Estany wrote:
> > Hello,
> > 
> > On Jan/24/2009, Carles Pina i Estany wrote:
> > 
> >> In Grub command line I really miss a cat with pagination (like
> >> more/less). Any reason that it's not here? I don't remember if we
> >> discussed it. Or it's there and I have not found.
> > 
> > I've just remembered set pager=1 and cat /boot/grub/grub.cfg :-) (from
> > Grub console)
> > 
> > Maybe a "more" command that would setup the pager, cat and remove the
> > pager would be interesting for people who doesn't know about pager? (so
> > doing "TAB" would appear a new command)
> 
> Actually if we think about pager overall... it has a kinda failure also.
> It doesn't support aborting the print.
> 
> There has been also a talk to enable pager=1 as a default.

Which, as I recall, Okuji rejected because it could cause a
unattended/non-interactive boot process to hang unexpectedly if too
much output was produced for some reason.

Perhaps the pager could default to being enabled whenever an
interactive command line is in use, but default to disabled when the
invoking command is not being executed from an interactive command line.
This would be the most logical solution IMO.

Regards,
Colin

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 197 bytes --]

Re: cat with pagination

[Robert Millan]

On Sat, Jan 24, 2009 at 12:29:24PM -0800, Colin D Bennett wrote:
> > 
> > There has been also a talk to enable pager=1 as a default.
> 
> Which, as I recall, Okuji rejected because it could cause a
> unattended/non-interactive boot process to hang unexpectedly if too
> much output was produced for some reason.
> 
> Perhaps the pager could default to being enabled whenever an
> interactive command line is in use, but default to disabled when the
> invoking command is not being executed from an interactive command line.
> This would be the most logical solution IMO.

Better CC him.

-- 
Robert Millan

  The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and
  how) you may access your data; but nobody's threatening your freedom: we
  still allow you to remove your data and not access it at all."

Re: cat with pagination

[Yoshinori K. Okuji]

On Sunday 08 February 2009 06:33:46 Robert Millan wrote:
> On Sat, Jan 24, 2009 at 12:29:24PM -0800, Colin D Bennett wrote:
> > > There has been also a talk to enable pager=1 as a default.
> >
> > Which, as I recall, Okuji rejected because it could cause a
> > unattended/non-interactive boot process to hang unexpectedly if too
> > much output was produced for some reason.
> >
> > Perhaps the pager could default to being enabled whenever an
> > interactive command line is in use, but default to disabled when the
> > invoking command is not being executed from an interactive command line.
> > This would be the most logical solution IMO.
>
> Better CC him.

I don't always want to use a pager even from a command line. If GRUB sets 
pager=1 forcibly, I dislike it. I prefer that computers behave as I like, to 
that I behave as computers like.

BTW, I don't like "pager" at all personally. For me, this is a hack only for 
working around that GRUB has no support for pipes.

Regards,
Okuji

Re: cat with pagination

[Colin D Bennett]

[-- Attachment #1: Type: text/plain, Size: 399 bytes --]

On Sat, 24 Jan 2009 13:47:15 +0100
Carles Pina i Estany <carles@pina.cat> wrote:

> 
> Hello,
> 
> In Grub command line I really miss a cat with pagination (like
> more/less). Any reason that it's not here? I don't remember if we
> discussed it. Or it's there and I have not found.

Have you tried "set pager=1; cat FILE"?  Or are you looking for
something different?

Regards,
Colin

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 197 bytes --]