From 59b4b256673ef8950ad2311dd6bdc4d8dbde2fbd Mon Sep 17 00:00:00 2001 From: thatben Date: Mon, 2 Jun 2025 17:39:37 +0200 Subject: [PATCH] Sets permissions for env.sh --- env.sh | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) mode change 100644 => 100755 env.sh diff --git a/env.sh b/env.sh old mode 100644 new mode 100755 index 697a426..4deb2f1 --- a/env.sh +++ b/env.sh @@ -1,7 +1,7 @@ -#!/usr/bin/env bash - -# We use ${BASH_SOURCE[0]} instead of $0 to allow sourcing this file -# and we fall back to a Zsh-specific special var to also support Zsh. -REL_PATH="$(dirname ${BASH_SOURCE[0]:-${(%):-%x}})" -ABS_PATH="$(cd ${REL_PATH}; pwd)" -source ${ABS_PATH}/vendor/nimbus-build-system/scripts/env.sh +#!/usr/bin/env bash + +# We use ${BASH_SOURCE[0]} instead of $0 to allow sourcing this file +# and we fall back to a Zsh-specific special var to also support Zsh. +REL_PATH="$(dirname ${BASH_SOURCE[0]:-${(%):-%x}})" +ABS_PATH="$(cd ${REL_PATH}; pwd)" +source ${ABS_PATH}/vendor/nimbus-build-system/scripts/env.sh