| #!/usr/bin/env bash |
| #python `dirname $0`/RunToolFromSource.py `basename $0` $* |
| |
| # If a python2 command is available, use it in preference to python |
| if command -v python2 >/dev/null 2>&1; then |
| python_exe=python2 |
| fi |
| |
| full_cmd=${BASH_SOURCE:-$0} # see http://mywiki.wooledge.org/BashFAQ/028 for a discussion of why $0 is not a good choice here |
| dir=$(dirname "$full_cmd") |
| exe=$(basename "$full_cmd") |
| |
| export PYTHONPATH="$dir/../../Source/Python" |
| exec "${python_exe:-python}" "$dir/../../Source/Python/$exe/$exe.py" "$@" |
