On Thu, Apr 20, 2006 at 12:05:16AM -0500, Manoj Srivastava wrote: > >> I expect to be able to pipe stuff to $PAGER, or invoke $PAGER > >> on a text file, like so: > >> % cat ~/.bash_profile | $PAGER > >> % $PAGER ~/.bash_profile > > That seems to be an awfully user-specific expectation, given that > > you can't assume that PAGER is set *at all* by default. > Err, if the PAGER is empty, default it to "more". What does > that have to do with the price of tea in china? $ echo $PAGER $ $PAGER tea\ in\ china bash: ./tea in china: Permission denied $ If $PAGER isn't set, then you can't very well use it as you describe, can you? 'Course, you can use the sensible-pager command this way. And sensible-pager does expect that $PAGER, if set, can take file names as appended arguments. So I guess your use cases do model the defacto policy for use of $PAGER. -- Steve Langasek Give me a lever long enough and a Free OS Debian Developer to set it on, and I can move the world. vorlon@debian.org http://www.debian.org/
Attachment:
signature.asc
Description: Digital signature