From ec7ec31e695dbfd00d6039e84c8e011b17beb137 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gr=C3=BCning?= <bjoern@gruenings.eu>
Date: Sun, 3 Nov 2024 09:30:48 +0100
Subject: [PATCH] download miniforge instead of mambaforge (#60)

I hope this will get us going. Ideally we would need to change all
occurrences of `MAMBAFORGE` with `MINIFORGE`. But this is a larger
surgery in multiple repos I think.
---
 install-and-set-up-conda.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/install-and-set-up-conda.sh b/install-and-set-up-conda.sh
index 8e29135..34159f5 100644
--- a/install-and-set-up-conda.sh
+++ b/install-and-set-up-conda.sh
@@ -50,11 +50,11 @@ else
     BIOCONDA_ADDITIONAL_INSTALL_PKGS=""
 fi
 
-MAMBAFORGE_URL="https://github.com/conda-forge/miniforge/releases/download/${MAMBAFORGE_VER}/Mambaforge-${MAMBAFORGE_VER}-${OS}-${ARCH}.sh"
+MINIFORGE_URL="https://github.com/conda-forge/miniforge/releases/download/${MAMBAFORGE_VER}/Miniforge3-${MAMBAFORGE_VER}-${OS}-${ARCH}.sh"
 
 # Install mambaforge
-echo Download ${MAMBAFORGE_URL}
-curl -L ${MAMBAFORGE_URL} > mambaforge.sh
+echo Download ${MINIFORGE_URL}
+curl -L ${MINIFORGE_URL} > mambaforge.sh
 head mambaforge.sh
 bash mambaforge.sh -b -p "${MAMBAFORGE_INSTALLATION_DIR}"