#!/bin/sh
## Filter to reverse a file (last line first etc. as might want to do 
## with log file)

cat "$@" | grep -n '.*' | sort -n -r | sed 's/^.*://'