########################################################-*-Shell-script-*-#### # Bash Standard Library ############################################################################## # $Id$ function print() { while [ $# -gt 0 ]; do echo "$1"; shift 1; done } function abort() { print "$@" 1>&2; exit 1; } function run() { [ "$verbose" = "true" ] && echo "$@"; "$@" || exit $?; } ############################################################################## # usage: args-abort # abort argument processing with message function args-abort() { local error="$1"; shift 1; abort "$args_script: $error" "$@"; } # usage: args-loop