diff options
Diffstat (limited to 'run')
| -rwxr-xr-x | run | 26 |
1 files changed, 13 insertions, 13 deletions
@@ -7,25 +7,25 @@ filter="" script_dir=${0:a:h} while [[ $# -gt 0 ]]; do - if [[ "$1" == "--dry" ]]; then - dry="1" - else - filter="$1" - fi - shift + 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)" + scripts="$(find ./runs -maxdepth 1 -mindepth 1 -perm +111 -type f)" else - scripts="$(find ./runs -maxdepth 1 -mindepth 1 -executable -type f)" + 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 + if echo "$script" | grep -qv "$filter"; then + log "filtering $script" + continue + fi + execute ./$script done |