#!/bin/sh ## Some ways to sandwich unbuffered stdin between "canned" text, ## in this case a number of head and tail lines. ## This example pipes result to grep which just numbers the lines. (cat <