deprecated.sh 236 B

123456789
  1. #!/bin/bash
  2. set -e
  3. dir="$(dirname "$(readlink -f "$BASH_SOURCE")")"
  4. cmd="$(basename "$0" '.sh')"
  5. echo >&2 "warning: '$0' is deprecated, and '$dir/bashbrew.sh $cmd' should be used directly instead"
  6. exec "$dir/bashbrew.sh" "$cmd" "$@"