fix: dash does not support pipefail

2023-05-20 11:18:09 +00:00 · 2023-05-20 11:18:09 +00:00 · e2c8cc3449
parent d97d384ea5
commit e2c8cc3449
1 changed files with 8 additions and 3 deletions
--- 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