scripts/text/snag_differ_files.sh

   1
   2 file="$1"; shift
   3
   4 if [ -z "$file" ]; then
   5   echo "This script requires one filename that is a differ output file."
   6   echo "All of the files with differences mentioned in the differ file will be"
   7   echo "extracted and printed out."
   8   exit 1
   9 fi
  10
  11 grep "seen for [a-zA-Z0-9]*\.java" "$file" | sed -e "s/Differences seen for //" -e "s/:$//"
  12