diff --git a/tools/publish.sh b/tools/publish.sh index 4aa6e2dc..502c3d9f 100755 --- a/tools/publish.sh +++ b/tools/publish.sh @@ -4,7 +4,7 @@ IFS=$'\n\t' cd "$(dirname "$0")"/.. # shellcheck disable=SC2154 -trap 's=$?; echo >&2 "$0: Error on line "${LINENO}": ${BASH_COMMAND}"; exit ${s}' ERR +trap 's=$?; echo >&2 "$0: error on line "${LINENO}": ${BASH_COMMAND}"; exit ${s}' ERR # Publish a new release. # diff --git a/tools/tidy.sh b/tools/tidy.sh index 10f2a4c9..1f2fda37 100755 --- a/tools/tidy.sh +++ b/tools/tidy.sh @@ -6,7 +6,7 @@ IFS=$'\n\t' cd "$(dirname "$0")"/.. # shellcheck disable=SC2154 -trap 's=$?; echo >&2 "$0: Error on line "${LINENO}": ${BASH_COMMAND}"; exit ${s}' ERR +trap 's=$?; echo >&2 "$0: error on line "${LINENO}": ${BASH_COMMAND}"; exit ${s}' ERR # USAGE: # ./tools/tidy.sh