From be0334cbd51afbc6705c71efd765056da64f9c7b Mon Sep 17 00:00:00 2001 From: Sebastien Jourdain Date: Tue, 12 Dec 2023 16:22:31 -0700 Subject: [PATCH] ci: learning sh... --- docker/Dockerfile.pip | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.