added a simple script in bash to merge 2 different .xmf files, file1.xmf and...

added a simple script in bash to merge 2 different .xmf files, file1.xmf and file2.xmf, into a single file.

usage: ./mergeXdmf.sh file1.xmf file2.xmf output.xmf

tools/mergeXdmf.sh

+#!/bin/bash
+
+# bash script to merge 2 Xdmf files coming from the hdf5 exporter.
+# works on Linux platforms
+
+if test $1& test $2& test $3
+then
+tac $1|sed "1,5 d"|tac > $3;
+sed "1,8 d" $2 >> $3;
+else
+echo 'usage: ./mergeXdmf firstIn.xmf secondIn.xmf out.xmf'
+fi