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

#!/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
scripts="$(find ./runs -maxdepth 1 -mindepth 1 -executable -type f)"
for script in $scripts; do
	if echo "$script" | grep -qv "$filter"; then
		log "filtering $script"
		continue
	fi
	execute ./$script
done