#!/usr/bin/env bash 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}"