git-merge-set (118B)
1 #!/bin/bash 2 # merge lines as a set naively, ignoring order 3 4 cat "$1" "$2" "$3" | awk '!a[$0]++' | sponge "$2" 5 exit 0 6