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