diff options
Diffstat (limited to 'support/scripts/stdlib.sh')
-rw-r--r-- | support/scripts/stdlib.sh | 77 |
1 files changed, 77 insertions, 0 deletions
diff --git a/support/scripts/stdlib.sh b/support/scripts/stdlib.sh new file mode 100644 index 0000000000..2a472f104a --- /dev/null +++ b/support/scripts/stdlib.sh @@ -0,0 +1,77 @@ +########################################################-*-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 <error> +# abort argument processing with message <error> +function args-abort() { + local error="$1"; + shift 1; + abort "$args_script: $error" "$@"; +} + +# usage: args-loop <script> "$@" +# process all arguments +function args-loop() { + local args_script="$1"; shift 1; + while [ $# -gt 0 ]; do + $args_script-args "$@"; + shift $?; + done; +} + +# usage: args-option-unknown "$@" +# <option> ... => abort "unknown <option>"; +function args-option-unknown() { + args-abort "unknown option $1"; +} + +# usage: args-append-array <array> "$@" +# <argument> ... => <array>[${#<array>[@]}]=<argument>; shift 1; +function args-append-array() { + local array="$1"; shift 1; + eval "$array[\${#$array[@]}]=\"\$1\""; + return 1; +} + +# usage: args-option-value <value> "$@" +# <option> <argument> ... => <value>=<argument>; shift 2; +function args-option-value() { + local value="$1"; shift 1; + if [ $# -lt 2 ]; then + args-abort "missing argument for option $1"; + fi; + eval "$value=\"\$2\""; + return 2; +} + +# usage: args-inline-value <value> "$@" +# <value-name>=<argument> ... => <value>=<argument>; shift 1; +function args-inline-value() { + local value="$1"; shift 1; + local prefix="$value"; + eval "$value=\"\${1#--$prefix=}\""; + return 1; +} + +############################################################################## |