#!/bin/sh cat ${1+"$@"} | gawk ' { line[NR] = $0 } END { for( i=NR; i>0; i-- ) print line[i] } ' exit 0