diff options
author | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2020-06-01 17:30:50 +0300 |
---|---|---|
committer | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2020-06-01 17:30:50 +0300 |
commit | 537c2b04e1b1a06a332b5a812eb3e665bc57f220 (patch) | |
tree | cb81631f2a8d6b6d559cc8478c3f4e2a0d8b94e0 /gitstatus/install | |
parent | 55a9f366a8b720be7edd7d3b5b39a0580e530ff0 (diff) | |
parent | 62c0a12a10518607814fa661905b3c8ec0f16590 (diff) |
Merge commit '62c0a12a10518607814fa661905b3c8ec0f16590'
Diffstat (limited to 'gitstatus/install')
-rwxr-xr-x | gitstatus/install | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gitstatus/install b/gitstatus/install index 65f84caf..af0f0561 100755 --- a/gitstatus/install +++ b/gitstatus/install @@ -286,7 +286,9 @@ END else url="$2"."$part" fi - $fetch "$url" >>"$1".tar.gz 2>/dev/null & + { $fetch "$url" >>"$1".tar.gz 2>/dev/null & } 2>/dev/null + ret=$? + [ "$ret" = 0 ] || break pid=$! die="trap - $sig; kill -- $pid 2>/dev/null; exit 1" trap "$die" $sig |