1 ### Command execution

     2 ## Execute command, possibly logging its execution.

     3 #

     4 #   cmd     $cmd...

     5 #

     6 # Fails if the command returns an error exit code.

     7 function cmd {

     8     log_cmd "$@"

     9 

    10     "$@" || die "Failed: $@"

    11 }

    12 

    13 ## Execute command as a test, logging its execution at log_cmd

    14 #

    15 #   cmd_test $cmd... && ... || ...

    16 #

    17 # Fails if the command returns an error exit code.

    18 function cmd_test {

    19     log_cmd "$@"

    20 

    21     "$@"

    22 }

    23 ## Execute command, prefixing its output on stdout with given indent prefix.

    24 #

    25 #   indent  "    " $cmd...

    26 #

    27 # Output is kept on stdout, exit status is that of the given command.

    28 function cmd_indent () {

    29     local indent="$1"; shift

    30 

    31     "$@" | sed "s/^/$indent/"

    32 

    33     return ${PIPESTATUS[0]}

    34 }