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