# Simple reporting tools for Bourne shell:
warn () { echo "$@" >&2; }
die () { warn "$@"; exit 1; }
banner () { echo -e "\n====== $@ ======\n"; }
mailify () { sed -e 's/^From/ From/'; }
