diff options
| author | davidovski <david@davidovski.xyz> | 2022-02-20 02:13:54 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-02-20 02:13:54 +0000 |
| commit | e5bc87ffc368799685b9c9bf0e01db35ee974540 (patch) | |
| tree | 322791eae090f5b6f3f821f6f09b83c5aa199561 /src/util.sh | |
| parent | 65940c0cc719311fbac5e11c81cce34563ea3f21 (diff) | |
added search functionality
Diffstat (limited to 'src/util.sh')
| -rw-r--r-- | src/util.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/util.sh b/src/util.sh index 82d26ca..11db5e3 100644 --- a/src/util.sh +++ b/src/util.sh @@ -35,7 +35,7 @@ wait_for_download () { local downloaded=0 while [ "$downloaded" -lt "$total_download" ]; do - + downloaded=0 for output in $@; do size=$(stat -c %s $output) downloaded=$((downloaded+size)) @@ -56,8 +56,7 @@ wait_for_extract () { shift while [ "$extracted" -lt "$total_filecount" ]; do - local extracted=0 - + extracted=0 for output in $@; do if [ -f $output ]; then size=$(cat $output | wc -l) |