| set -euo pipefail | |
| ROOT_DIR="${ROOT_DIR:-/workspace}" | |
| TOOLS_DIR="${ROOT_DIR}/.tools" | |
| BIN_DIR="${TOOLS_DIR}/micromamba/bin" | |
| MAMBA_BIN="${BIN_DIR}/micromamba" | |
| download() { | |
| local url="$1" | |
| local output="$2" | |
| if curl -L "${url}" -o "${output}"; then | |
| return 0 | |
| fi | |
| if curl -k -L "${url}" -o "${output}"; then | |
| return 0 | |
| fi | |
| wget --no-check-certificate "${url}" -O "${output}" | |
| } | |
| mkdir -p "${BIN_DIR}" | |
| if [[ -x "${MAMBA_BIN}" ]]; then | |
| echo "${MAMBA_BIN}" | |
| exit 0 | |
| fi | |
| TMP_DIR="$(mktemp -d)" | |
| trap 'rm -rf "${TMP_DIR}"' EXIT | |
| download https://micro.mamba.pm/api/micromamba/linux-64/latest "${TMP_DIR}/micromamba.tar.bz2" | |
| tar -xjf "${TMP_DIR}/micromamba.tar.bz2" -C "${TMP_DIR}" | |
| cp "${TMP_DIR}/bin/micromamba" "${MAMBA_BIN}" | |
| chmod +x "${MAMBA_BIN}" | |
| echo "${MAMBA_BIN}" | |