diff --git a/video_prediction_tools/env_setup/install_venv_container.sh b/video_prediction_tools/env_setup/install_venv_container.sh index e6444cc373b5c02e38aa20ea2aa09446cbd6fdcc..45065c48a9f88b7c96a965255ca0165f79800129 100755 --- a/video_prediction_tools/env_setup/install_venv_container.sh +++ b/video_prediction_tools/env_setup/install_venv_container.sh @@ -56,8 +56,9 @@ else # Change into the base-directory of virtual environments... cd "${VENV_BASE}" || return if ! python -m virtualenv --version >/dev/null; then - echo "ERROR: Base directory for virtual environment exists, but virtualenv-module is unavailable." - exit + echo "WARNING: Base directory for virtual environment exists, but virtualenv-module is unavailable." + echo "Try installation." + pip3 install --target="${VENV_BASE}"/ virtualenv fi echo "Virtualenv is already installed." fi