diff options
author | david <public@beloved.name> | 2018-07-04 01:31:32 +0200 |
---|---|---|
committer | david <public@beloved.name> | 2018-07-04 01:31:32 +0200 |
commit | 49145968147ca2e5938a21631ed449a6e383deee (patch) | |
tree | 2dd8d1fab5d2a21060c19d3dba5a54711edd9e61 /doall.sh | |
parent | 76f64eb762434f5bafc38c5fdaba0d681ed6a444 (diff) |
Added err and sourced it in doall.sh and license-reporter
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 |