#!/bin/csh -f
# unique_lines
# Echoes only the unique lines of the specified file or stdin
awk '\!x[$0]++' $*:q