diff options
Diffstat (limited to 'doall.sh')
-rwxr-xr-x | doall.sh | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -1,7 +1,6 @@ #!/bin/bash -set -eE -o pipefail -trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR +source err set -x x="$(readlink -f -- "$BASH_SOURCE")"; cd ${x%/*} # directory of this file @@ -43,7 +42,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 - + if wget -nc -nv -x --continue -i downloadlist; then break |