diff options
| -rw-r--r-- | src/output.sh | 27 |
1 files changed, 6 insertions, 21 deletions
diff --git a/src/output.sh b/src/output.sh index 320a46b..1677fb5 100644 --- a/src/output.sh +++ b/src/output.sh @@ -20,28 +20,13 @@ error() { - case "${1}" in - *[!0-9]*) - local fmt="${1}" - shift 1 + local fmt="${1}" + shift 1 - printf '%s: Error: ' "${0##*/}" >&2 - printf "${fmt}\n" "${@}" >&2 - ;; - *) - local status=${1} - local fmt="${2}" - shift 2 - - printf '%s: Error: ' "${0##*/}" >&2 - printf "${fmt}\n" "${@}" >&2 - - # In a subshell, this will have no effect, so the - # shell's exit status will be 128+SIGINT. Meh. - exit_status=${status} - kill -s INT ${$} - ;; - esac + printf '%s: Error: ' "${0##*/}" >&2 + printf "${fmt}\n" "${@}" >&2 + + return 0 } warn() |