Cum elimini linile duplicate dintr-un fișier folosind ‘awk’?

Destul de des folosesc ziduri de conținut luate cu copy/paste din care trebuie să elimin duplicatele. Există soluții online, destul de limitate, și există și câteva editoare de text care fac treaba asta. Totuși, adeseori, utilizarea unor