Coral/utils/tools.inc

warn () {
    echo "$(basename $0):" "$@" >&2
}

die () {
    rc=$1
    shift
    warn "$@"
    exit "$rc"
}

doc () {
  [[ $1 == -h ]] && { cat ; exit ; }
}