Differences

This shows you the differences between two versions of the page.

--- howtos:how_to_install_micromamba [2026-01-31 11:21 am] – hcho
+++ howtos:how_to_install_micromamba [2026-03-03 03:48 pm] (current) – hcho
@@ Line 6: / Line 6: @@
 # install micromamba
 curl -L https://micro.mamba.pm/install.sh | env \
-  BIN_FOLDER="$HOME/usr/local/bin" \
+  BIN_FOLDER="$HOME/local/bin" \
-  PREFIX_LOCATION="$HOME/usr/local/opt/micromamba" \
+  PREFIX_LOCATION="$HOME/opt/micromamba" \
   sh
@@ Line 14: / Line 14: @@
 # source micromamba
-source ~/.bashrc
+. ~/.bashrc
 </code>
@@ Line 23: / Line 23: @@
 <code batch>
 rem install micromamba
-mkdir %USERPROFILE%\usr\local\bin
+mkdir %USERPROFILE%\local\bin
-curl -L https://github.com/mamba-org/micromamba-releases/releases/latest/download/micromamba-win-64.exe -o %USERPROFILE%\usr\local\bin\micromamba.exe
+curl -L https://github.com/mamba-org/micromamba-releases/releases/latest/download/micromamba-win-64.exe -o %USERPROFILE%\local\bin\micromamba.exe
-rem if %USERPROFILE%\usr\local\bin is not in PATH
+rem if %USERPROFILE%\local\bin is not in PATH
-set PATH=%USERPROFILE%\usr\local\bin;%PATH%
+set PATH=%USERPROFILE%\local\bin;%PATH%
 setx PATH %PATH%
 rem set the root prefix of micromamba
-set MAMBA_ROOT_PREFIX=%USERPROFILE%\usr\local\opt\micromamba
+set MAMBA_ROOT_PREFIX=%USERPROFILE%\opt\micromamba
 setx MAMBA_ROOT_PREFIX %MAMBA_ROOT_PREFIX%