linux.txt: sed, sort -u