changeset 66 | 482d06935d96 |
parent 60 | b65ce9123039 |
child 69 | 88a7683efc54 |
--- a/lib/update.utils Wed Mar 21 18:43:56 2012 +0200 +++ b/lib/update.utils Wed Mar 21 18:59:43 2012 +0200 @@ -16,6 +16,17 @@ "$@" || die "Failed" } +### Command execution +## Execute command as a test, logging its execution at log_cmd +# +# cmd_test $cmd... && ... || ... +# +# Fails if the command returns an error exit code. +function cmd_test { + log_cmd "$@" + + "$@" +} ## Execute command, prefixing its output on stdout with given indent prefix. # # indent " " $cmd...