#!/bin/bash
OFILE=diff_details
echo -n > ${OFILE}
echo '*** Verified Files:' >> ${OFILE}
diff -s Results Verify | grep identi >> ${OFILE}
echo >> ${OFILE}
echo '**** Files with differences:' >> ${OFILE}
diff Results Verify | grep diff | grep -v stdout | awk '{ print "Files "  $2 " and " $3 " differ"}' >> ${OFILE}
echo >> ${OFILE}
echo -n '**** Details of differences found:' >> ${OFILE}
diff Results Verify | sed -e 's/^diff/\n\ndiff/1' >> ${OFILE}
echo
sed -n -e '/Verified Files/,/Details of differences/p' ${OFILE}
echo "Details of this check have been saved in the file \"${OFILE}\""
echo
