From 1b886428cca733571bbf20ebe26c03b5e1fa739d Mon Sep 17 00:00:00 2001 From: Edoardo Pasca <14138589+paskino@users.noreply.github.com> Date: Wed, 15 May 2024 16:39:17 +0000 Subject: [PATCH] this works --- docker/user_demos.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docker/user_demos.sh b/docker/user_demos.sh index 79186563..d6454049 100755 --- a/docker/user_demos.sh +++ b/docker/user_demos.sh @@ -25,7 +25,11 @@ if [ "$PYTHON" = "miniconda" ]; then # do not install CIL from conda if BUILD_CIL is set if test "${BUILD_CIL:-0}" != 0; then # delete CIL package from the environment file + echo "Deleting CIL from the environment file BUILD_CIL is set to >${BUILD_CIL}<" sed -r -i -e '/^\s*- (cil).*/d' environment-sirf.yml + cat environment-sirf.yml + else + echo "Not deleting CIL from the environment file BUILD_CIL is set to >${BUILD_CIL}<" fi conda env update --file environment-sirf.yml -v else