From 79034e794c6a1b46bbe2a4f5d89358d0722aff92 Mon Sep 17 00:00:00 2001 From: Denis Lehmann Date: Sat, 14 Oct 2023 17:34:10 +0200 Subject: [PATCH] revert trap --- gis | 2 -- 1 file changed, 2 deletions(-) diff --git a/gis b/gis index ef15964..93af91f 100755 --- a/gis +++ b/gis @@ -112,7 +112,6 @@ if [ "$fetch" == true ]; then # Fetch all Git repositories in background git fetch --prune --all 1> /dev/null 2> >(trap "" INT TERM; sed "s/^/${text_bold}${text_blue}${repository_name}${text_reset} /" >&2) & fetch_pids+=("$!") - trap 'kill $!' INT done for pid in "${fetch_pids[@]}"; do @@ -150,7 +149,6 @@ if [ "$pull" == true ]; then git pull 1> /dev/null 2> >(trap "" INT TERM; sed "s/^/${text_bold}${text_magenta}${repository_name}${text_reset} /" >&2) & pull_pids+=("$!") - trap 'kill $!' INT done for pid in "${pull_pids[@]}"; do