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

formatting

Browse source
This commit is contained in:
Denis Lehmann 2023-09-16 23:32:09 +02:00
parent 6e52f3c408
commit a74b039914
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
gis
View file

@ -63,12 +63,10 @@ if [ "$fetch" == true ]; then
repository_name=$(basename "$dir") repository_name=$(basename "$dir")
echo " - $repository_name" echo " - $repository_name"
git fetch --prune --all 1> /dev/null 2> >(trap "" INT TERM; sed "s/^/${text_bold}${text_red}${repository_name}${text_reset} /" >&2) & git fetch --prune --all 1> /dev/null 2> >(trap "" INT TERM; sed "s/^/${text_bold}${repository_name}${text_reset} /" >&2) &
fetch_pids+=("$!") fetch_pids+=("$!")
done done
echo
for pid in "${fetch_pids[@]}"; do for pid in "${fetch_pids[@]}"; do
wait "$pid" wait "$pid"
done done