4 ms·
This is even easier to do with awk. awk -e '!a[$0]++' This also preserves the original input order, which is a nice property.
by thebelal 11y ago
This is even easier to do with awk.
awk -e '!a[$0]++'
This also preserves the original input order, which is a nice property.