Private

Server IP : 195.201.23.43 / Your IP : 18.225.92.18
Web Server : Apache
System : Linux webserver2.vercom.be 5.4.0-192-generic #212-Ubuntu SMP Fri Jul 5 09:47:39 UTC 2024 x86_64
User : kdecoratie ( 1041)
PHP Version : 7.1.33-63+ubuntu20.04.1+deb.sury.org+1
Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,
MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON
Directory : /bin/

Upload File :

[ HOME SHELL ]

Current File : /bin/sensible-pager

#!/bin/sh

# Prevent recursive loops, where these values are set to this script
p="$(which sensible-pager)"
[ -n "$PAGER" ] && [ "$(which $PAGER || true)" = "$p" ] && PAGER=

${PAGER:-pager} "$@"
ret="$?"
if [ "$ret" -eq 126 ] || [ "$ret" -eq 127 ]; then
more "$@"
ret="$?"
	if [ "$ret" -eq 126 ] || [ "$ret" -eq 127 ]; then
		echo "Couldn't find a pager!" 1>&2
		echo "Set the \$PAGER environment variable to your desired pager." 1>&2
		exit 1
	fi
fi

Private