[net.games.emp] local pager for info command

rusty (05/11/82)

Here is a little shell script that causes the empire
info command to use the preferred paging program.
Around here everyone uses the more program. In the
following shell script set the PAGER variable to
whichever your users prefer. In empglb.c set the
variable "nroffil" to EMPPATH(BIN/empnroff) and install
the following shell script there. Note that this may
only work on versions of Unix that support direct
execing of shell scripts (4.1bsd does, among others).

	#! /bin/sh

	PATH=/bin:/usr/bin:/usr/ucb

	PAGER=more

	args=""

	for arg
	do
		case "${arg}" in
			-s*)	:
				;;
			*)	args="${args} ${arg}"
				;;
		esac
	done

	eval exec nroff ${args} | ${PAGER}