#! /bin/bash
# Last edited on 2024-03-27 10:04:51 by stolfi

# A filter that makes the output of "diff -r" more readable.

/bin/sed \
  -e 's/^diff /\
==========================================\
diff /g' \
  -e 's/^Only in /\
==========================================\
Only in /g' \
  -e 's/^Binary /\
==========================================\
Binary /g' \
  -e 's/^Common /\
==========================================\
Common /g' \
  -e 's/^Files /\
==========================================\
Files /g' \
  -e 's/^---//g' \
  -e 's/^\([0-9].*\)$/\
  --- \1 -----------------------/g' \
  -e 's/^\([<>]\)/  \1/g'