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

    24

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

    25

#

    26

#   indent  "    " $cmd...

    27

#

    28

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

    29

function cmd_indent () {

    30

    local indent="$1"; shift

    31

    32

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

    33

    34

    return ${PIPESTATUS[0]}

    35

}

    36

    37

## Execute a command as root, using sudo if required.

    38

function cmd_sudo {

    39

    if [ $UID -eq 0 ]; then

    40

        cmd "$@"

    41

    else

    42

        cmd sudo "$@"

    43

    fi

    44

}