move to miniforge

berkeley-dsep-infra · Jan 9, 2025 · 7cba7b9 · 7cba7b9
1 parent 3ada012
commit 7cba7b9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 9 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -55,8 +55,8 @@ RUN mkdir -p ${JULIA_DIR} && chown ${NB_USER}:${NB_USER} ${JULIA_DIR}
 
 WORKDIR /home/jovyan
 
-COPY install-mambaforge.bash /tmp/install-mambaforge.bash
-RUN /tmp/install-mambaforge.bash
+COPY install-miniforge.bash /tmp/install-miniforge.bash
+RUN /tmp/install-miniforge.bash
 
 USER ${NB_USER}
 

diff --git a/install-mambaforge.bash → install-miniforge.bash b/install-mambaforge.bash → install-miniforge.bash
@@ -3,14 +3,10 @@
 set -ex
 
 cd $(dirname $0)
-MAMBAFORGE_VERSION='24.3.0-0'
+MINIFORGE_VERSION='24.11.2-1'
 
-URL="https://github.com/conda-forge/miniforge/releases/download/${MAMBAFORGE_VERSION}/Mambaforge-${MAMBAFORGE_VERSION}-Linux-x86_64.sh"
-INSTALLER_PATH=/tmp/mambaforge-installer.sh
-
-# make sure we don't do anything funky with user's $HOME
-# since this is run as root
-unset HOME
+URL="https://github.com/conda-forge/miniforge/releases/download/${MINIFORGE_VERSION}/Miniforge3-${MINIFORGE_VERSION}-Linux-x86_64.sh"
+INSTALLER_PATH=/tmp/miniforge-installer.sh
 
 wget --quiet $URL -O ${INSTALLER_PATH}
 chmod +x ${INSTALLER_PATH}