diff options
Diffstat (limited to 'tools/with_venv.sh')
| -rwxr-xr-x | tools/with_venv.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/tools/with_venv.sh b/tools/with_venv.sh index 7303990b..165c883a 100755 --- a/tools/with_venv.sh +++ b/tools/with_venv.sh @@ -1,7 +1,6 @@ #!/bin/bash -TOOLS_PATH=${TOOLS_PATH:-$(dirname $0)} +TOOLS_PATH=${TOOLS_PATH:-$(dirname $0)/../} VENV_PATH=${VENV_PATH:-${TOOLS_PATH}} -VENV_DIR=${VENV_NAME:-/../.venv} -TOOLS=${TOOLS_PATH} +VENV_DIR=${VENV_DIR:-/.venv} VENV=${VENV:-${VENV_PATH}/${VENV_DIR}} source ${VENV}/bin/activate && "$@" |