run


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

#!/bin/zsh

source util

dry="0"
filter=""
script_dir=${0:a:h}

while [[ $# -gt 0 ]]; do
    if [[ "$1" == "--dry" ]]; then
        dry="1"
    else
        filter="$1"
    fi
    shift
done

log "$script_dir -- $filter"
cd $script_dir
if [[ "$(uname -s)" == "Darwin" ]]; then
    scripts="$(find ./runs -maxdepth 1 -mindepth 1 -perm +111 -type f)"
else
    scripts="$(find ./runs -maxdepth 1 -mindepth 1 -executable -type f)"
fi
for script in $scripts; do
    if echo "$script" | grep -qv "$filter"; then
        log "filtering $script"
        continue
    fi
    execute ./$script
done