1 #!/usr/bin/env bash 2 #python `dirname $0`/RunToolFromSource.py `basename $0` $* 3 4 # If a python2 command is available, use it in preference to python 5 if command -v python2 >/dev/null 2>&1; then 6 python_exe=python2 7 fi 8 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 cmd=${full_cmd##*/} 12 13 export PYTHONPATH="$dir/../../Source/Python" 14 exec "${python_exe:-python}" "$dir/../../Source/Python/AutoGen/$cmd.py" "$@" 15
