bashbrew/deprecated.sh

#!/bin/bash
set -e

dir="$(dirname "$(readlink -f "$BASH_SOURCE")")"
cmd="$(basename "$0" '.sh')"

echo >&2 "warning: '$0' is deprecated, and '$dir/bashbrew.sh $cmd' should be used directly instead"

exec "$dir/bashbrew.sh" "$cmd" "$@"