Ho un elenco su un file txt tipo questo:

pasquale
michele
maria
roberto
anna
anna
michele

si tratta di una lista lunghissima e vorrei eliminare i doppioni in automatico con uno script.