Toggle navigation
Pedro-Juan Ferrer Matoses
Tips & Tricks
Archives
Remove duplicate lines from a file
$ awk
'!x[$0]++'