3 ms·Or maybe better: awk '! visited[$0] { print $0; visited[$0] = 1 }'by augustk 7y agoOr maybe better: awk '! visited[$0] { print $0; visited[$0] = 1 }'