git.oblomov.eu Git - xorg/xkeyboard-config/blob - rules/merge.sh

   1 #!/bin/bash
   2
   3 DEST=$1
   4 shift
   5
   6 lineNo=0
   7
   8 > $DEST
   9
  10 for i in $*; do
  11   if [ "$i" == "HDR" ] ; then
  12     echo >> $DEST;
  13     lineNo=$((lineNo + 1))
  14     head -$lineNo HDR | tail -1 >> $DEST
  15   else
  16     cat $i >> $DEST;
  17   fi
  18 done
  19