Rev 15168 |
Rev 46832 |
Go to most recent revision |
Show entire file |
Ignore whitespace |
Details |
Blame |
Last modification |
View Log
| RSS feed
| Rev 15168 |
Rev 46821 |
| Line 1... |
Line 1... |
| 1 |
#!/bin/sh
|
1 |
#!@R_SHELL@
|
| 2 |
## For the curious: "pager $1" doesn't work in batch, because "more" will
|
2 |
## For the curious: "pager $1" doesn't work in batch, because "more" will
|
| 3 |
## eat the rest of stdin. The no-argument version is intended for use at
|
3 |
## eat the rest of stdin. The no-argument version is intended for use at
|
| 4 |
## the end of a pipeline.
|
4 |
## the end of a pipeline.
|
| 5 |
##
|
5 |
##
|
| 6 |
## PAGER is determined at configure time and recorded in `etc/Renviron'.
|
6 |
## PAGER is determined at configure time and recorded in `etc/Renviron'.
|