b.fd.o#8280,b.fd.o#8312
[xorg/xkeyboard-config] / rules / merge.sh
1 #!/bin/bash
2
3 DEST=$1
4 shift
5
6 if [ -z "$HDR" ]; then
7     HDR="HDR"
8 fi
9
10 > $DEST
11
12 for i in $*; do
13   if [ "$i" == "$HDR" ] || [ "$i" == "HDR" ]; then
14     echo >> $DEST;
15     read hdr
16     echo "$hdr" >> $DEST
17   else
18     cat $i >> $DEST;
19   fi
20 done < $HDR
21