mybin

commit 362c56a74ec5b66d1866c4ba43ab2795300504e9
parent 9a1dffea6068e6b25fffe64d68cce253576f997e
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 28 Dec 2016 07:52:08 +0100

git-merge-set

Diffstat:
git-merge-set
 | 
6
++++++

1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/git-merge-set b/git-merge-set
@@ -0,0 +1,6 @@
+#!/bin/bash
+# merge lines as a set naively, ignoring order
+
+cat "$1" "$2" "$3" | awk '!a[$0]++' | sponge "$2"
+exit 0
+