changeset 55 | a2d87cfd77e4 |
parent 52 | b68b8615c512 |
child 57 | d83a5e9be193 |
--- a/lib/update.utils Tue Mar 20 14:15:22 2012 +0200 +++ b/lib/update.utils Tue Mar 20 14:24:58 2012 +0200 @@ -15,6 +15,12 @@ "$@" || die "Failed" } +## Execute command, prefixing its output on stdout with given indent prefix. +# +# indent " " $cmd... +# +# Output is kept on stdout, exit status is that of the given command. +# Also logs the executed command at log_cmd level.. function indent () { local indent=$1; shift