1

#!/bin/bash

     2

#

     3

# Utility functions

     4

     5

### Command execution

     6

## Execute command, possibly logging its execution.

     7

#

     8

#   cmd     $cmd...

     9

#

    10

# Fails if the command returns an error exit code.

    11

function cmd {

    12

    log_cmd "$@"

    13

    14

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

    15

}

    16

    17

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

    18

#

    19

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

    20

#

    21

# Fails if the command returns an error exit code.

    22

function cmd_test {

    23

    log_cmd "$@"

    24

    25

    "$@"

    26

}

    27

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

    28

#

    29

#   indent  "    " $cmd...

    30

#

    31

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

    32

function indent () {

    33

    local indent="$1"; shift

    34

    35

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

    36

    37

    return ${PIPESTATUS[0]}

    38

}

    39

    40

    41

### FS utils

    42

# Create dir if not exists.

    43

function ensure_dir {

    44

    local dir="$1"

    45

    46

    if [ ! -d "$dir" ]; then

    47

        log_warn "Creating output dir: $dir"

    48

        cmd mkdir "$dir"

    49

    fi

    50

}

    51

    52

## Output absolute path

    53

#

    54

#   abspath $path

    55

#

    56

# XXX: improve...?

    57

function abspath () {

    58

    local path="$1"

    59

    60

    echo "$SRV/$path"

    61

}

    62

    63

## List names of files in dir:

    64

#

    65

#   list_files $dir $glob

    66

#

    67

function list_files {

    68

    local dir="$1"

    69

    local glob="${2:-*}"

    70

    local name=

    71

    72

    for file in $dir/$glob; do

    73

        # only files

    74

        [ -f "$file" ] || continue

    75

    76

        # strip prefix

    77

        name=${file#$dir/}

    78

        name=${name%$glob}

    79

    80

        echo -n "$name "

    81

    done

    82

}

    83

    84

## List names of dirs in dir:

    85

function list_dirs {

    86

    local dir="$1"

    87

    88

    for file in $dir/*; do

    89

        [ -d "$file" ] || continue

    90

    91

        echo -n "${file#$dir/} "

    92

    done

    93

}