1
0
mirror of https://github.com/deadc0de6/dotdrop.git synced 2026-02-10 01:44:16 +00:00

fix strict bash pipefail

This commit is contained in:
deadc0de6
2023-11-09 11:30:05 +01:00
parent 7bd1d7f74a
commit 94d97bf7a7
152 changed files with 166 additions and 162 deletions

View File

@@ -6,7 +6,7 @@
#
## start-cookie
set -euo errtrace pipefail
set -eu -o errtrace -o pipefail
cur=$(cd "$(dirname "${0}")" && pwd)
ddpath="${cur}/../"
PPATH="{PYTHONPATH:-}"
@@ -80,7 +80,7 @@ done
cat "${cfg}"
# test no chmod
cnt=$(cat "${cfg}" | grep chmod | wc -l)
cnt=$(cat "${cfg}" | ( grep chmod || : ) | wc -l)
[ "${cnt}" != "0" ] && echo "chmod wrongly inserted" && exit 1
######################