diff options
| author | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2025-02-22 12:32:45 -0500 |
|---|---|---|
| committer | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2025-02-22 12:32:45 -0500 |
| commit | 238e133c0aceb97cdd2789920202eecdc67eeba7 (patch) | |
| tree | b019c6add2f39f0e18d7322cb088aeee2a48bbad /run | |
| parent | 8cfa6920d50e3165a781df3381cdafa15972c057 (diff) | |
Ghostty Config
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 |
