From 400a328d2f46b2e66332ad31d84665f8591450d4 Mon Sep 17 00:00:00 2001 From: Marcell Jenei Date: Wed, 8 Jul 2026 13:58:18 +0200 Subject: [PATCH 1/2] Added ZSH support for micromamba --- .ci/micromamba/init.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.ci/micromamba/init.sh b/.ci/micromamba/init.sh index 8c2bdf02..03af8b91 100644 --- a/.ci/micromamba/init.sh +++ b/.ci/micromamba/init.sh @@ -38,7 +38,13 @@ ENV_NAME="${1:-dev}" log "Environment: $ENV_NAME" # Get the location of this script -THIS_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )" +if [ -n "$ZSH_VERSION" ]; then + RAW_SOURCE="${(%):-%x}" +else + RAW_SOURCE="${BASH_SOURCE[0]}" +fi + +THIS_DIR="$( cd "$( dirname "$RAW_SOURCE" )" &> /dev/null && pwd )" log "Location: $THIS_DIR" # Check if we have environment file From e9222c10e2eb3a757f7f72b906a469ac3970e688 Mon Sep 17 00:00:00 2001 From: Marcell Jenei Date: Mon, 13 Jul 2026 11:27:18 +0200 Subject: [PATCH 2/2] Add shebang If the script is not sourced then run the check in bash. --- .ci/micromamba/init.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.ci/micromamba/init.sh b/.ci/micromamba/init.sh index 03af8b91..ad2515b2 100644 --- a/.ci/micromamba/init.sh +++ b/.ci/micromamba/init.sh @@ -1,3 +1,4 @@ +#!/bin/bash # Make sure we source the script if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then echo "ERROR: This script must be 'sourced':"