From 8ce495dd98bba46fc600de008e03d416510258f9 Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Mon, 5 Jun 2023 12:41:49 +0900 Subject: [PATCH] Tweak scripts --- tools/publish.sh | 2 +- tools/tidy.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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