The R Project SVN R

Rev

Rev 7218 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 7218 Rev 15168
Line 1... Line 1...
1
#!/bin/sh
1
#!/bin/sh
2
pager=${PAGER-"more -s"}
-
 
3
## 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
4
## 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
5
## the end of a pipeline.
4
## the end of a pipeline.
-
 
5
##
-
 
6
## PAGER is determined at configure time and recorded in `etc/Renviron'.
6
if [ "${1}" != "" ]; then
7
if test -n "${1}"; then
7
  exec ${pager} < ${1}
8
  exec ${PAGER} < ${1}
8
else
9
else
9
  exec ${pager}
10
  exec ${PAGER}
10
fi
11
fi
11
 
12
 
12
### Local Variables: ***
13
### Local Variables: ***
13
### mode: sh ***
14
### mode: sh ***
14
### sh-indentation: 2 ***
15
### sh-indentation: 2 ***