Rev 63512 | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed
#!@R_SHELL@## For the curious: "pager $1" doesn't work in batch, because "more" will## eat the rest of stdin. The no-argument version is intended for use at## the end of a pipeline.#### PAGER is determined at configure time and recorded in `etc/Renviron'.## This is documented to be a 'command line' so we do not quote it.if test -n "${1}"; thenexec ${PAGER} < ${1}elseexec ${PAGER}fi### Local Variables: ***### mode: sh ***### sh-indentation: 2 ***### End: ***