From 827342f3e9c8288d9f81738cd9684c310dfee711 Mon Sep 17 00:00:00 2001 From: MDLeom <2809763-curben@users.noreply.gitlab.com> Date: Mon, 3 Jun 2024 08:21:56 +0000 Subject: [PATCH] fix: expand alias in bash --- src/script.sh | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/script.sh b/src/script.sh index eaf1996e..e943c17a 100644 --- a/src/script.sh +++ b/src/script.sh @@ -1,16 +1,18 @@ #!/bin/sh -## dash does not support pipefail +# dash does not support pipefail # this does not work in `dash script.sh` -DASH=$(readlink -f "/bin/sh" | grep "dash" || [ $? = 1 ]) -if [ -n "$DASH" ]; then +IS_DASH=$(readlink -f "/bin/sh" | grep "dash" || [ $? = 1 ]) +if [ -n "$IS_DASH" ]; then set -efx else set -efx -o pipefail fi # bash does not expand alias by default for non-interactive script -# shopt -s expand_aliases +if [ -n "$BASH_VERSION" ]; then + shopt -s expand_aliases +fi alias curl="curl -L" alias rm="rm -rf"