denis/gis
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

kill processes in trap

Browse source
This commit is contained in:
Denis Lehmann 2023-10-14 17:38:19 +02:00
parent 79034e794c
commit 00824ff9cc
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
gis
View file

@ -110,7 +110,7 @@ if [ "$fetch" == true ]; then
repository_name=$(basename "$dir") repository_name=$(basename "$dir")
# Fetch all Git repositories in background # 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) & git fetch --prune --all 1> /dev/null 2> >(trap 'kill $! 2> /dev/null' INT TERM; sed "s/^/${text_bold}${text_blue}${repository_name}${text_reset} /" >&2) &
fetch_pids+=("$!") fetch_pids+=("$!")
done done
@ -147,7 +147,7 @@ if [ "$pull" == true ]; then
# Get repository name # Get repository name
repository_name=$(basename "$dir") repository_name=$(basename "$dir")
git pull 1> /dev/null 2> >(trap "" INT TERM; sed "s/^/${text_bold}${text_magenta}${repository_name}${text_reset} /" >&2) & git pull 1> /dev/null 2> >(trap 'kill $! 2> /dev/null' INT TERM; sed "s/^/${text_bold}${text_magenta}${repository_name}${text_reset} /" >&2) &
pull_pids+=("$!") pull_pids+=("$!")
done done