howtos:how_to_install_micromamba
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| howtos:how_to_install_micromamba [2026-01-31 11:20 am] – created hcho | howtos:how_to_install_micromamba [2026-03-03 03:48 pm] (current) – hcho | ||
|---|---|---|---|
| Line 6: | Line 6: | ||
| # install micromamba | # install micromamba | ||
| curl -L https:// | curl -L https:// | ||
| - | BIN_FOLDER=" | + | BIN_FOLDER=" |
| - | PREFIX_LOCATION=" | + | PREFIX_LOCATION=" |
| sh | sh | ||
| Line 14: | Line 14: | ||
| # source micromamba | # source micromamba | ||
| - | source | + | . ~/.bashrc |
| </ | </ | ||
| ===== On Windows ===== | ===== On Windows ===== | ||
| - | Install [[https:// | + | Install [[https:// |
| <code batch> | <code batch> | ||
| rem install micromamba | rem install micromamba | ||
| - | mkdir %USERPROFILE%\usr\local\bin | + | mkdir %USERPROFILE%\local\bin |
| - | curl -L https:// | + | curl -L https:// |
| - | 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; | + | set PATH=%USERPROFILE%\local\bin; |
| setx PATH %PATH% | setx PATH %PATH% | ||
| rem set the root prefix of micromamba | 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% | setx MAMBA_ROOT_PREFIX %MAMBA_ROOT_PREFIX% | ||
howtos/how_to_install_micromamba.1769883637.txt.gz · Last modified: by hcho
