[thebelal]

This is even easier to do with awk.

    awk -e '!a[$0]++'

This also preserves the original input order, which is a nice property.