Allow $PAGER to have arguments.

Submitted by:	brian
Reviewed by:	Doug Barton <Doug@gorean.org>
Approved by:	jkh
This commit is contained in:
billf 2000-02-08 22:31:53 +00:00
parent 6b5dfacc05
commit f5630daedc

View File

@ -107,7 +107,7 @@ echo ''
#
case "${DONT_CHECK_PAGER}" in
'')
if [ -n "${PAGER}" -a ! -x "${PAGER}" ]; then
if [ -n "${PAGER}" -a ! -x "${PAGER%% *}" ]; then
echo " *** Your PAGER environment variable specifies '${PAGER}', but"
echo " I cannot execute it. In general it is good practice to"
echo " specify the full path for environment variables like"