#!/bin/sh # P -- open file processed with p in PAGER "$PAGER" /var/tmp/pg