File size: 800 Bytes
6fa1956 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 | #!/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}"
|