Rev 15168 | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed
#!/bin/sh## 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'.if test -n "${1}"; thenexec ${PAGER} < ${1}elseexec ${PAGER}fi### Local Variables: ***### mode: sh ***### sh-indentation: 2 ***### End: ***