From e2c8cc3449efb9aaf517539ce706833a7e6e598c Mon Sep 17 00:00:00 2001
From: Ming Di Leom <2809763-curben@users.noreply.gitlab.com>
Date: Sat, 20 May 2023 11:18:09 +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 71c5634..0bf10dc 100644
--- a/src/script.sh
+++ b/src/script.sh
@@ -1,8 +1,13 @@
 #!/bin/sh
 
-# works best on busybox sh
-
-set -efux -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
 
 
 ## Use GNU grep, busybox grep is too slow