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