mirror of
https://github.com/romkatv/powerlevel10k.git
synced 2024-11-11 00:00:06 +00:00
Merge commit '62c0a12a10518607814fa661905b3c8ec0f16590'
This commit is contained in:
commit
537c2b04e1
1 changed files with 3 additions and 1 deletions
|
@ -286,7 +286,9 @@ END
|
||||||
else
|
else
|
||||||
url="$2"."$part"
|
url="$2"."$part"
|
||||||
fi
|
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=$!
|
pid=$!
|
||||||
die="trap - $sig; kill -- $pid 2>/dev/null; exit 1"
|
die="trap - $sig; kill -- $pid 2>/dev/null; exit 1"
|
||||||
trap "$die" $sig
|
trap "$die" $sig
|
||||||
|
|
Loading…
Reference in a new issue