[Linux-Biella] duplicati in un file

[LeOS]

ho un file con dentro i nomi di tante belle librerie
alcune di queste sono duplicate (il file e' stato generato da un ciclo
for ... do ldd binario ... done)

oggi sono particolarmente esaurito...
vorrei semplicemente riuscire a eliminare i doppioni

rigorosamente in bash/sh

idee?

(es file:
pippo
pluto
pippo
pippo
paperino
pluto
pippo
pippo

vorrei ottenere:
pippo
pluto
paperino)

grassie *

-- 

main(){int n=-1;char c[]="qiruAbhjrc)fbfln#]g";
while(c[n]!='g'){putchar(c[++n]-'\05'+n);}return 0;}


Linux Registered User #135079

public gpg key: gpg --keyserver pgp.mit.edu --recv-key 2ED92C69