From 67d4eebd318fd01661447408929b35ee0a2a9687 Mon Sep 17 00:00:00 2001
From: Ming Di Leom <2809763-curben@users.noreply.gitlab.com>
Date: Sat, 20 May 2023 11:14:01 +0000
Subject: [PATCH] fix: dash does not support pipefail

---
 src/script.sh | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/src/script.sh b/src/script.sh
index 601db9e..915d89a 100644
--- a/src/script.sh
+++ b/src/script.sh
@@ -1,8 +1,13 @@
 #!/bin/sh
 
-# works best on busybox ash
-
-set -efx -o 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
+  set -efx
+else
+  set -efx -o pipefail
+fi
 
 alias curl="curl -L"
 alias mkdir="mkdir -p"