file-pager

Pipe to $PAGER by creating a temporary file first