diff --git a/docker/Dockerfile.pip b/docker/Dockerfile.pip index d1deeda2..aef2d6af 100644 --- a/docker/Dockerfile.pip +++ b/docker/Dockerfile.pip @@ -15,7 +15,7 @@ RUN apt-get update && \ rm -rf /var/lib/apt/lists/* # Set python3 to python3.x (otherwise, it will be python3.8) -RUN if [[ "$PYTHON_VERSION" = "3"]] ; then echo Skip python3 override ; else update-alternatives --install /usr/bin/python3 python3 /usr/bin/python${PYTHON_VERSION} 1; fi +RUN if [ "$PYTHON_VERSION" = "3"] ; then echo Skip python3 override ; else update-alternatives --install /usr/bin/python3 python3 /usr/bin/python${PYTHON_VERSION} 1; fi # Never use a cache directory for pip, both here in this Dockerfile # and when we run the container.