#!/bin/sh pager=${PAGER-"more -s"} $pager $1