diff options
author | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:58:44 (EST) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:58:44 (EST) |
commit | 778eac65d35163a2c25b2c3fbacffd7ee724e58d (patch) | |
tree | d7bb69d53d9cdc3925ce76fb85587dd60858ffd4 /lib/output.sh | |
parent | 21316880285d9d406e7732b393a13a95329dee15 (diff) |
Move lib/*.sh to src/
Diffstat (limited to 'lib/output.sh')
-rw-r--r-- | lib/output.sh | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/lib/output.sh b/lib/output.sh deleted file mode 100644 index 62d2095..0000000 --- a/lib/output.sh +++ /dev/null @@ -1,56 +0,0 @@ -# Functions for printing messages -# -# Copyright (C) 2013 Patrick "P. J." McDermott -# -# This file is part of the ProteanOS Development Kit. -# -# The ProteanOS Development Kit is free software: you can redistribute -# it and/or modify it under the terms of the GNU General Public License -# as published by the Free Software Foundation, either version 3 of the -# License, or (at your option) any later version. -# -# The ProteanOS Development Kit is distributed in the hope that it -# will be useful, but WITHOUT ANY WARRANTY; without even the implied -# warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. -# See the GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with the ProteanOS Development Kit. If not, see -# <http://www.gnu.org/licenses/>. - -error() -{ - 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 ${$} -} - -warn() -{ - local fmt="${1}" - shift 1 - - printf '%s: Warning: ' "${0##*/}" >&2 - printf "${fmt}\n" "${@}" >&2 - - return 0 -} - -info() -{ - local fmt="${1}" - shift 1 - - printf '%s: ' "${0##*/}" >&2 - printf "${fmt}\n" "${@}" >&2 - - return 0 -} |