dupe.awk revision 290001 
1#
2# delete duplicate lines
3#
4{
5	if (old != $0)
6		printf "%s\n", $0
7	old = $0
8}
9