From 3a6b66a600e667f1dda421cadbc47475f2e2776f Mon Sep 17 00:00:00 2001 From: Casper da Costa-Luis Date: Tue, 12 Sep 2023 16:52:55 +0100 Subject: [PATCH] docker: pin to py3.10 to fix boost --- docker/user_python-ubuntu.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/user_python-ubuntu.sh b/docker/user_python-ubuntu.sh index 565f2c96..9979a861 100755 --- a/docker/user_python-ubuntu.sh +++ b/docker/user_python-ubuntu.sh @@ -26,7 +26,7 @@ fi # Python case "$PYTHON" in miniconda) - curl -L https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh > miniconda.sh + curl -L https://repo.anaconda.com/miniconda/Miniconda3-py310_23.5.2-0-Linux-x86_64.sh > miniconda.sh echo -e "\nyes\n${INSTALL_DIR}\nno" | bash miniconda.sh rm miniconda.sh source "$INSTALL_DIR"/bin/activate