| Server IP : 216.92.14.13 / Your IP : 216.73.216.171 Web Server : Apache System : Linux vps4089.pairvps.com 5.15.0-190-generic #200-Ubuntu SMP Fri Aug 7 15:06:04 UTC 2026 x86_64 User : rmlac2fmr ( 1040637) PHP Version : 8.2.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /usr/lib/R/bin/ |
Upload File : |
#!/bin/bash
## 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}"; then
exec ${PAGER} < ${1}
else
exec ${PAGER}
fi
### Local Variables: ***
### mode: sh ***
### sh-indentation: 2 ***
### End: ***