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