diff --git a/pip-install.sh b/pip-install.sh index 50a8b4b..89de848 100644 --- a/pip-install.sh +++ b/pip-install.sh @@ -4,7 +4,7 @@ set -eou pipefail NEXUS_ROOT=https://nexus.web.sandia.gov/ -if curl --output /dev/null --silent --head --fail "$NEXUS_ROOT"; then +if curl --output /dev/null --silent --head --fail --max-time 10 "$NEXUS_ROOT"; then PIP_ARGS="--index-url=$NEXUS_ROOT/repository/pypi-proxy/simple" else PIP_ARGS=""