diff options
author | david <public@beloved.name> | 2018-07-04 02:31:28 +0200 |
---|---|---|
committer | david <public@beloved.name> | 2018-07-04 02:31:28 +0200 |
commit | 34c5361492af08024c49a5937a842fa482e1c6fa (patch) | |
tree | 3e7c4cd242e4e68db7554a5883934bdadcef290b | |
parent | 9d7a608fbb21c38cd28f9b01d1f99c16735886fd (diff) |
Fixed a loop bug
-rwxr-xr-x | doall.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -41,7 +41,7 @@ done # this may return 8, because debian has removed a package from the time we made downloadlist, to the time we actually did the wget on a url in it # so, we do a check to see if we downloaded at least the number of files - 10 -while (( i=0; i<10; i++)); do +for (( i=0; i<10; i++ )); do if wget -nc -nv -x --continue -i downloadlist; then |